| From: Matthew Flatt (mflatt at cs.utah.edu) Date: Wed Jul 21 19:09:03 EDT 2010 |
|
I've pushed a change to the git repo that I don't think will fix the problem, but I think it will give us better information when you get a chance to try it.
| Posted on the dev mailing list. |
|
![[logo]](/logo.png){kind=logo}