On Wed, May 02, 2012 at 11:51:51AM +0200, gabor papp wrote: > hi, > > i pushed the fix to git, which hopefully solves the problem with > racket versions above 5.1.1. Ooh, that was the big one! Congratulations! Kas.