A problem report query with originator "Jos Koot" shows 10 open PRs. As far as I can judge, all off them are already fixed or otherwise answered in a satisfying way. As far as I am concerned, they can be closed. Now I am enjoying 5.0.1.2. Thanks to the whole PLT !!! Jos Koot
_________________________________________________ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/dev