<div dir="ltr">It might have been, thanks for pointing it out.<div>I will check it and report back or re-submit as a fix to remove our workaround.</div><div><br></div><div>Thanks,</div><div><br></div><div> Filipe</div><div class="gmail_extra"><br><div class="gmail_quote">On Wed, Feb 18, 2015 at 6:51 PM, Peter Collingbourne <span dir="ltr"><<a href="mailto:peter@pcc.me.uk" target="_blank">peter@pcc.me.uk</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Was this fixed by r229753?<br>
<br>
<br>
<a href="http://reviews.llvm.org/D7740" target="_blank">http://reviews.llvm.org/D7740</a><br>
<br>
EMAIL PREFERENCES<br>
  <a href="http://reviews.llvm.org/settings/panel/emailpreferences/" target="_blank">http://reviews.llvm.org/settings/panel/emailpreferences/</a><br>
<br>
<br>
</blockquote></div><br></div></div>