And from my perspective, thanks to Matthias for keeping track of all this (boring?) history stuff and reminding of the important stuff when it matters.
Robby _________________________________________________ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/users
