[racket-dev] irrelevant open problem reports

Thanks to you and all other members of PLT.
Jos 

> -----Original Message-----
> From: robby.findler at gmail.com 
> [mailto:robby.findler at gmail.com] On Behalf Of Robby Findler
> Sent: 17 February 2011 14:54
> To: Jos Koot
> Cc: PLT Developers
> Subject: Re: [racket-dev] irrelevant open problem reports
> 
> Okay, thanks. I've closed the PR.
> 
> Robby
> 
> On Thu, Feb 17, 2011 at 2:32 AM, Jos Koot 
> <jos.koot at telefonica.net> wrote:
> > No not all points of pr 9692 have been addressed, but after 
> using the search
> > & replace API for some time I got used to it and now I am 
> happy with it as
> > it is.
> > I use check syntax for looking up and replacing complete 
> identifiers.
> > Thanks, Jos
> >
> >> -----Original Message-----
> >> From: robby.findler at gmail.com
> >> [mailto:robby.findler at gmail.com] On Behalf Of Robby Findler
> >> Sent: 16 February 2011 22:30
> >> To: Jos Koot
> >> Cc: PLT Developers
> >> Subject: Re: [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
> >> >
> >
> >