| From: Matthew Flatt (mflatt at cs.utah.edu) Date: Sun Oct 17 10:53:33 EDT 2010 |
|
At Sun, 17 Oct 2010 08:51:57 -0600, Matthew Flatt wrote: > That's fixed, now. Sorry, I missed a step for 3m. It will be fixed in a few minutes.
| Posted on the dev mailing list. |
|
![[logo]](/logo.png){kind=logo}