<div dir="ltr">On Thu, Apr 24, 2014 at 12:18 PM, Tom Roeder <span dir="ltr"><<a href="mailto:tmroeder@google.com" target="_blank">tmroeder@google.com</a>></span> wrote:<br><div class="gmail_extra"><div class="gmail_quote">
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div class="">On Tue, Apr 22, 2014 at 4:37 PM, Nick Kledzik <<a href="mailto:kledzik@apple.com">kledzik@apple.com</a>> wrote:<br>

> Tom,<br>
><br>
> Your patch is fine with me.  It is a reasonable work around until we start encoding all those attributes in bitcode.<br>
><br>
> -Nick K.<br>
><br>
<br>
</div>Great!<br>
<br>
Dan: I think Rafael wanted your opinion on this, too, given your work<br>
on a longer-term solution for this problem. Is this OK with you?<br></blockquote><div><br></div><div>I have no objection to this as a short-term measure either.<br><br>Dan<br> <br></div></div></div></div>