[racket-dev] irrelevant open problem reports

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 <jos.koot at telefonica.net> 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
>