<div><div class="gmail_quote"><div>Hey,</div><div> </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div class="HOEnZb"><div class="h5">
</div></div>My point is that we *just* changed the name a few days ago. Now is the<br>
prime time to change it in light of the present discussion.</blockquote><div><br></div><div>Yep - I'll rename the LLVM flag for consistency with the frontend version.</div><div><br></div><div>- Lang.</div></div></div>