| From: Jose A. Ortega Ruiz (jao at gnu.org) Date: Tue Nov 9 20:08:44 EST 2010 |
|
On Wed, Nov 10 2010, Matthew Flatt wrote: > I should have paid more attention to your observation that it might be > related to sawfish. Eli ran into the same problem, and the latest > development version now avoids annoying sawfish. Let me know if you > still see problems. Ah, lucky me: it does indeed work here too. Thanks a lot! jao
| Posted on the dev mailing list. |
|
![[logo]](/logo.png){kind=logo}