<div dir="ltr"><div>Hi all,</div><div><br></div>I've gone through today and marked several issues as resolved that were fixed with recent PRs. It'd probably be good if several of us went through and looked at them, to see if there are any major bugfixes that we probably ought to resolve before 3.2 release, but only if they're simple enough that we can be certain we don't introduce other problems.<div class="gmail_signature"></div>
<div><br></div><div>Best,</div><div><br></div><div>John Z</div></div>