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

From: Vincent St-Amour (stamourv at ccs.neu.edu)
Date: Fri May 21 16:19:55 EDT 2010

At Fri, 21 May 2010 15:29:54 -0400,
Eli Barzilay wrote:
> Look for "oops" in http://tmp.barzilay.org/git.txt

You're right, I should have amended these commits. I'll do that in
the future.


Posted on the dev mailing list.