| From: Matthew Flatt (mflatt at cs.utah.edu) Date: Thu Jul 22 19:47:10 EDT 2010 |
|
At Wed, 21 Jul 2010 17:09:03 -0600, Matthew Flatt wrote: > 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. The new error message provoked a bug report that led to a repair. So, please try the latest and let me know if the problem is fixed.
| Posted on the dev mailing list. |
|
![[logo]](/logo.png){kind=logo}