[racket-dev] [plt] Push #25931: master branch updated

From: Matthew Flatt (mflatt at cs.utah.edu)
Date: Fri Dec 21 13:56:41 EST 2012

I pushed these by accident; they're still just suggestions.

At Fri, 21 Dec 2012 13:53:10 -0500, mflatt at racket-lang.org wrote:
> 0e140a8 Matthew Flatt <mflatt at racket-lang.org> 2012-12-20 11:07
> :
> | planet2: versions for dependencies
> [...]
> 
> 5259f15 Matthew Flatt <mflatt at racket-lang.org> 2012-12-20 12:05
> :
> | planet2: include the Racket version number in a PNR request


Posted on the dev mailing list.