Thanks! I went back over these and closed all of them except 9692. Are you happy with the search & replace API overall? I' not sure that all of those points have been addresssed.
Robby On Wed, Feb 16, 2011 at 11:26 AM, Jos Koot <[email protected]> wrote: > 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 > _________________________________________________ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/dev
