Re: [racket-dev] irrelevant open problem reports

2011-02-17 Thread Jos Koot
y.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 thes

Re: [racket-dev] irrelevant open problem reports

2011-02-17 Thread Robby Findler
ax 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

Re: [racket-dev] irrelevant open problem reports

2011-02-17 Thread Jos Koot
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

Re: [racket-dev] irrelevant open problem reports

2011-02-16 Thread Robby Findler
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 wrote: > A problem report query with originator "Jos Koot" shows 10

[racket-dev] irrelevant open problem reports

2011-02-16 Thread Jos Koot
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 ___