<p dir="ltr">I'll try to come up with a short summary. Where exactly should the text go?</p>
<p dir="ltr">-- Alex</p>
<div class="gmail_quote">On 14 Aug 2015 20:22, "Hans Wennborg" <<a href="mailto:hans@chromium.org">hans@chromium.org</a>> wrote:<br type="attribution"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Hi,<br>
<br>
It was pointed out to me that there's been a bunch of work on new<br>
checkers, but there's no mention of this in the 3.7 release notes.<br>
<br>
Would someone be willing to write something about this?<br>
<br>
Cheers,<br>
Hans<br>
</blockquote></div>