Okay, thanks. I've closed the PR. Robby
On Thu, Feb 17, 2011 at 2:32 AM, Jos Koot <[email protected]> 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: [email protected] >> [mailto:[email protected]] 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 >> <[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
