<br><br><div class="gmail_quote">On Fri, Jul 20, 2012 at 10:36 AM, Marijn <span dir="ltr">&lt;<a href="mailto:hkBst@gentoo.org" target="_blank">hkBst@gentoo.org</a>&gt;</span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">

<div class="im">-----BEGIN PGP SIGNED MESSAGE-----<br>
Hash: SHA1<br>
<br>
</div><div class="im">On 20-07-12 10:13, Laurent wrote:<br>
&gt; Oh sorry, my bad, I mistook this old bug for this one:<br>
&gt; <a href="http://bugs.racket-lang.org/query/?cmd=view&amp;pr=12640" target="_blank">http://bugs.racket-lang.org/query/?cmd=view&amp;pr=12640</a> Indeed pr12070<br>
&gt; does not appear on my current machine either.<br>
&gt;<br>
&gt; This pr12640 still appears though, but this one is probably no big<br>
&gt; deal and is probably not related to the behavior Neil sees.<br>
<br>
</div>Unfortunately I (like Robby) cannot reproduce that one.<br></blockquote><div><br>Yeah I know, otherwise you would probably have fixed it by now. I have no idea why it appears on my 3 machines though (the locale thing was unsuccessfully tried).<br>

<br>Laurent <br></div></div><br>