| From: Matthew Flatt (mflatt at cs.utah.edu) Date: Tue Feb 8 17:05:26 EST 2011 |
|
At Tue, 8 Feb 2011 16:53:03 -0500, "Todd O'Bryan" wrote: > I think this is a bug... > > [...] > > Please tell me that's not how it's supposed to work... That's not how it's supposed to work, and it's fixed for v5.1. Matthew
| Posted on the users mailing list. |
|
![[logo]](/logo.png){kind=logo}