Thanks for checking back in. In retrospect, that was a stupid change of mine.
I've reverted it and pushed a different attempt. The current change is unlikely to be the right long-term solution, but I'm curious to see if it improves things for you at least. Thanks, Robby On Tue, Dec 13, 2011 at 3:35 AM, Marijn <hk...@gentoo.org> wrote: > -----BEGIN PGP SIGNED MESSAGE----- > Hash: SHA1 > > On 06-12-11 23:14, Robby Findler wrote: >> I've pushed a change that I think (hope) fixes this. >> >> Robby > > Hi Robby, I'm sorry to disappoint, but the issue is still there with > this morning's master. > > Marijn > -----BEGIN PGP SIGNATURE----- > Version: GnuPG v2.0.18 (GNU/Linux) > Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org/ > > iEYEARECAAYFAk7nHGkACgkQp/VmCx0OL2wVIwCff4v831EIkc0ZsPANG1xikoRV > 4N4An0MCyTXbDlpcBN0MZgRMlXI/uLD9 > =z8Nt > -----END PGP SIGNATURE----- _________________________________________________ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/dev