-----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
