[plt-dev] Re: [plt] Push #20310: master branch updated

Perhaps you should add some index entries under some likely words you
searched for?

Robby

On Mon, May 24, 2010 at 6:01 PM, Vincent St-Amour <stamourv at ccs.neu.edu> wrote:
> At Mon, 24 May 2010 16:59:25 -0600,
> Jay McCarthy wrote:
>> This already exists. It is called "open-output-nowhere"
>
> I just learned about it. I reverted my commit.
>
> Vincent
> _________________________________________________
>  For list-related administrative tasks:
>  http://list.cs.brown.edu/mailman/listinfo/plt-dev
>