<div dir="ltr">Yeah, was meant to be echristo - was later corrected. Carry on ;)</div><br><div class="gmail_quote"><div dir="ltr">On Fri, Sep 2, 2016 at 10:09 AM Eric Niebler <<a href="mailto:eniebler@boost.org">eniebler@boost.org</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">eric_niebler added a subscriber: eric_niebler.<br>
eric_niebler added a comment.<br>
<br>
Did you mean to add a different Eric? I don't have any particular insight into this, I'm afraid. (Hi, Chandler!)<br>
<br>
<br>
<a href="https://reviews.llvm.org/D24164" rel="noreferrer" target="_blank">https://reviews.llvm.org/D24164</a><br>
<br>
<br>
<br>
</blockquote></div>