<div dir="auto">Yes: <a href="https://reviews.llvm.org/D7775">https://reviews.llvm.org/D7775</a><div dir="auto"><br></div><div dir="auto">This side is very mechanical, so I did not send it for review.</div><br><br><div class="gmail_quote" dir="auto"><div dir="ltr">On Sun, Mar 18, 2018, 3:54 AM Nico Weber <<a href="mailto:thakis@chromium.org">thakis@chromium.org</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="auto">Was this discussed or reviewed somewhere? (It looks like a good change to me, I'm just wondering if there was something that triggered this and would like to read about the background if there's anything to read.)</div>
</blockquote></div></div>