<html><head><meta http-equiv="Content-Type" content="text/html charset=windows-1252"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;">Hi Renato,<div><br><div><div>On Sep 5, 2013, at 4:11 PM, Renato Golin <<a href="mailto:renato.golin@linaro.org">renato.golin@linaro.org</a>> wrote:</div><br class="Apple-interchange-newline"><blockquote type="cite"><div style="font-family: Helvetica; font-size: 12px; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; line-height: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-stroke-width: 0px;"><div dir="ltr"><div class="gmail_extra">Thanks for testing this. Is it the case that the patch doesn't fix the problem, or that the test doesn't expose the fix? Or both?</div></div></div></blockquote></div>The test definitely doesn’t expose the problem.</div><div><br></div><div>Regarding the fix I’m not convinced that it solves the problem reliably.</div><div><br></div><div>Regards,</div><div><br></div><div>Tilmann</div><div><br></div></body></html>