| From: Danny Yoo (dyoo at cs.wpi.edu) Date: Thu Apr 19 15:25:29 EDT 2012 |
|
On Thu, Apr 19, 2012 at 2:45 PM, Matthew Flatt <mflatt at cs.utah.edu> wrote: > I've pushed a repair for this bug. Ah, thank you! I will try it out as soon as it hits the 5.3 release branch.
| Posted on the dev mailing list. |
|
![[logo]](/logo.png){kind=logo}