<div dir="ltr">On 3 July 2013 16:29, Joey Gouly <span dir="ltr"><<a href="mailto:joey.gouly@arm.com" target="_blank">joey.gouly@arm.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">
I'm waiting for Vinicius to do a build, just to double check it actually<br>
fixes it for him. If so, I will commit it later, thanks!<br></blockquote><div></div></div><br></div><div class="gmail_extra">Even better!</div><div class="gmail_extra"><br></div><div class="gmail_extra">Thanks,</div><div class="gmail_extra">
--renato</div></div>