<div dir="ltr">This is in fact what I have tried to - sometimes not to the letter, unfortunately, and I'm sorry for that.<br></div><div class="gmail_extra"><br><div class="gmail_quote">On Fri, Aug 21, 2015 at 6:46 PM, Alex Rousskov <span dir="ltr"><<a href="mailto:rousskov@measurement-factory.com" target="_blank">rousskov@measurement-factory.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><span class="">On 08/21/2015 04:37 AM, Kinkie wrote:<br>
</span><span class="">> I changed that only when something in the vicinity changed so not to<br>
> make the patch any more enormous. I can blanket change if that's preferred.<br>
<br>
</span>IMO, the rule ought to be very simple and precise: Rename NULL if and<br>
only if renaming does not add any new lines to the diff.<br>
<br>
Same for removing HERE. Why it is so hard to follow that rule and avoid<br>
unnecessary changes is really beyond me.<br>
<span class="HOEnZb"><font color="#888888"><br>
Alex.<br>
<br>
</font></span></blockquote></div><br><br clear="all"><br>-- <br><div class="gmail_signature">    Francesco</div>
</div>