<div dir="ltr"><br><div class="gmail_extra"><br><div class="gmail_quote">On 23 June 2015 at 23:16, Dirk Hohndel <span dir="ltr"><<a href="mailto:dirk@hohndel.org" target="_blank">dirk@hohndel.org</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">That patch is awesome. I looked at it and said "but that's the same<br>
condition!".<br>
It really took me 5 seconds (and the commit message) to figure out why it<br>
makes a huge difference.<br>
<br></blockquote>Well it took me about two hours to work out why we weren't picking up that there wasn't a gas change.<br></div><br></div></div>