<div dir="ltr"><div class="gmail_extra"><br><div class="gmail_quote">On Tue, May 13, 2014 at 4:45 AM, Artyom Skrobov <span dir="ltr"><<a href="mailto:Artyom.Skrobov@arm.com" target="_blank">Artyom.Skrobov@arm.com</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex">Chandler, these weren’t used anywhere in that file.</blockquote>
</div><br>Ok, but your commit log claimed this was a move operation, not a remove operation. =D In the future, at least mention it in the commit log, or consider splitting apart the commits so that they aren't conflated.</div>
</div>