<html><head><meta http-equiv="Content-Type" content="text/html charset=utf-8"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;" class=""><div class="">Hi,</div><div class=""><br class=""></div>I made the change in <span style="font-family: Menlo; font-size: 11px; background-color: rgb(255, 255, 255);" class="">r309990.</span><div class=""><font face="Menlo" class=""><span style="font-size: 11px; background-color: rgb(255, 255, 255);" class=""><br class=""></span></font><div>Thanks,</div><div>-Quentin<br class=""><blockquote type="cite" class=""><div class="">On Jul 12, 2017, at 11:51 AM, Reid Kleckner <<a href="mailto:rnk@google.com" class="">rnk@google.com</a>> wrote:</div><br class="Apple-interchange-newline"><div class=""><div dir="ltr" class=""><div class="gmail_extra"><div class="gmail_quote">On Wed, Jul 12, 2017 at 11:34 AM, Quentin Colombet via llvm-dev <span dir="ltr" class=""><<a href="mailto:llvm-dev@lists.llvm.org" target="_blank" class="">llvm-dev@lists.llvm.org</a>></span> wrote:<br class=""><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div style="word-wrap:break-word" class=""><div class="">Gentle ping.</div><div class=""><br class=""></div>Hi,<div class=""><br class=""></div><div class="">I haven’t heard any push back on that.</div><div class=""><br class=""></div><div class="">Does this mean people agree or just missed this message because of July 4th? ;)</div></div></blockquote><div class=""><br class=""></div><div class="">Both. :)</div><div class=""><br class=""></div><div class="">I'll give you a +1. </div></div></div></div>
</div></blockquote></div><br class=""></div></body></html>