<div dir="ltr"><div class="gmail_extra"><br><div class="gmail_quote">On Fri, Aug 16, 2013 at 3:28 AM, Tom Hughes <span dir="ltr"><<a href="mailto:tom@compton.nu" target="_blank">tom@compton.nu</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">

Closing the previous PR and opening a new one is not somehow going to make me forget what the issues are...</blockquote></div><br>Wasn't the intention ;-)</div></div>