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
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
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
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
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
___
5 matches
Mail list logo