[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
>> >
>
>