<div dir="ltr">On Fri, Jun 21, 2013 at 7:57 PM, Tobias Grosser <span dir="ltr"><<a href="mailto:tobias@grosser.es" target="_blank">tobias@grosser.es</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">On 06/21/2013 10:28 AM, Manuel Klimek wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
Submitted fix as r184563.<br>
<br>
Note that I'll be out the next 2 weeks, and Daniel's still out next week,<br>
so make sure to ping Alex if anything is high prio.<br>
</blockquote>
<br></div>
Thanks Manuel, it works! This was fast. Have nice vacations!</blockquote><div><br></div><div style>Yea, it was purely a matter of prioritization. I didn't think you'd hit it that much until you complained ;)</div>
<div style><br></div></div></div></div>