((( [logo]Racket )))Need Help?
AboutDownloadDocumentationPLaneTCommunityLearning

[plt-dev] DrDr Notifications

From: Noel Welsh (noelwelsh at gmail.com)
Date: Fri Feb 12 16:02:37 EST 2010		 
New interface is good.  I'd go for option 3, but I'm not exactly a
significant part of the dev. team.

N.
Posted on the dev mailing list.