<div dir="ltr"><div class="gmail_extra"><div class="gmail_quote">On 7 July 2014 13:43, Fernando Perez <span dir="ltr"><<a href="mailto:fperez.net@gmail.com" target="_blank">fperez.net@gmail.com</a>></span> wrote:<br>

<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">I can reproduce the problem on master as well...</blockquote></div><br></div><div class="gmail_extra">OK, so can I, in fact. I'll investigate later on, unless Min beats me to it.<br>

<br></div><div class="gmail_extra">Thomas<br></div></div>