| 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. Robby
| Posted on the dev mailing list. |
|
![[logo]](/logo.png){kind=logo}