Thanks to you and all other members of PLT. Jos > -----Original Message----- > From: robby.find...@gmail.com > [mailto:robby.find...@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.k...@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.find...@gmail.com > >> [mailto:robby.find...@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.k...@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 > >> > > > > >
_________________________________________________ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/dev