<div dir="ltr">On 26 June 2013 16:54, Tim Northover <span dir="ltr"><<a href="mailto:t.p.northover@gmail.com" target="_blank">t.p.northover@gmail.com</a>></span> wrote:<br><div class="gmail_extra"><div class="gmail_quote">
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div class="im">> This looks like a bug that could be squashed separately.<br>
<br>
</div>It makes sense to just commit them separately though, as Joey<br>
suggested. I think the change looks reasonable now.<br>
</blockquote></div><br></div><div class="gmail_extra">There were some comments on the Phabricator... I'm not sure how to use that, though, as seem people reply over email anyway and forget what's in there.</div><div class="gmail_extra">
<br></div><div class="gmail_extra">--renato</div></div>