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

From: Robby Findler (robby at eecs.northwestern.edu)
Date: Sat Aug 6 11:52:08 EDT 2011

On Sat, Aug 6, 2011 at 8:43 AM, Matthias Felleisen <matthias at ccs.neu.edu> wrote:
> 3. Why is this in github and not in the docs?

I think you're mistaken here. It is in the head on our git servers.


Posted on the dev mailing list.