<div dir="ltr">But can you, please, explain me why?<div><br></div><div>Excuse me for so much fuss, I just wanted to explain my position... We have two cases now:</div><div>- Just commit such a patch without an additional investigation. But it's not a good idea, because we can't be 100% sure that it is a typo (and even if it is, we still may break something from I listed above);</div><div>- Make an additional investigation and commit this. But I think that it's unconstructive to do it now, because there are many problems with a higher priority. So I suggest to defer it for a better times. We may report a bug and assign it to me, I'll do it when I will finish other more important work.</div><div><br></div><div>What do you think about it?</div></div><br><div class="gmail_quote"><div dir="ltr">On Thu, Jul 19, 2018 at 12:13 PM Pavel Labath <<a href="mailto:labath@google.com">labath@google.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">On Thu, 19 Jul 2018 at 10:04, Aleksandr Urakov via Phabricator<br>
<<a href="mailto:reviews@reviews.llvm.org" target="_blank">reviews@reviews.llvm.org</a>> wrote:<br>
> So peoples who commited such spaces found them beautiful (or used the approved formatting style, or used them for some special formatting cases),<br>
<br>
Or it's simply a typo.<br>
<br>
I don't want to make a bigger fuss of this than it already is, but I<br>
think removing that space is a good idea.<br>
</blockquote></div><br clear="all"><div><br></div>-- <br><div dir="ltr" class="gmail_signature" data-smartmail="gmail_signature"><div dir="ltr"><div>Aleksandr Urakov</div><div><span>Software Developer</span></div><div><span>JetBrains</span></div><div><span><a href="http://www.jetbrains.com" target="_blank">http://www.jetbrains.com</a></span></div><div><span>The Drive to Develop</span></div></div></div>