<div dir="ltr">On 28 June 2013 22:36, Jakob Stoklund Olesen <span dir="ltr"><<a href="mailto:stoklund@2pi.dk" target="_blank">stoklund@2pi.dk</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="im"><span style="color:rgb(34,34,34)">I am hoping it was fixed by r185218. I’ll keep an eye on the buildbot.</span></div></blockquote><div></div></div><br></div><div class="gmail_extra">That one did fix ARM bots. Thanks!</div>
<div class="gmail_extra"><br></div><div class="gmail_extra">--renato</div></div>