<div dir="ltr"><br /><div class="gmail_extra"><br /><div class="gmail_quote">On Wed, Sep 2, 2015 at 6:19 AM, Marko
Tiikkaja<span dir="ltr"><<a href="mailto:marko@joh.to" target="_blank">marko@joh.to</a>></span> wrote:<br
/><blockquoteclass="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Hopefully nobody
mindsif I slip this to the commit fest that started today? The attached patch should address all the comments from the
9.5cycle.<span class="HOEnZb"><font color="#888888"><br /></font></span></blockquote></div><br /></div><div
class="gmail_extra">Allthe previous comments have been addressed. Perhaps some regression tests would have some
value?<br/>-- <br /><div class="gmail_signature">Michael<br /></div></div></div>