| From: Matthew Flatt (mflatt at cs.utah.edu) Date: Tue Jun 29 12:18:53 EDT 2010 |
|
I haven't been able to replicate the problem, so I'm stumped. For now, it's probably best to just delete .zo files, and we'll watch out for the problem on the next version change.
| Posted on the dev mailing list. |
|
![[logo]](/logo.png){kind=logo}