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

From: Vincent St-Amour (stamourv at ccs.neu.edu)
Date: Mon May 24 19:01:44 EDT 2010

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


Posted on the dev mailing list.