-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 On 13-12-11 11:57, Robby Findler wrote: > 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.
Hi Robby, I'm sorry to disappoint again, but there was no change to the observed behavior. Marijn -----BEGIN PGP SIGNATURE----- Version: GnuPG v2.0.18 (GNU/Linux) Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org/ iEYEARECAAYFAk7pslgACgkQp/VmCx0OL2xr0ACgtwMFYdLmRnsfex9PS5lfJ4lX iJsAoLb9JuRHpM+SJMgfuDVOgVblWQj1 =Ulky -----END PGP SIGNATURE----- _________________________________________________ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/dev