| From: Matthew Flatt (mflatt at cs.utah.edu) Date: Tue May 24 15:23:34 EDT 2011 |
|
At Tue, 24 May 2011 10:41:41 -0300, Rodolfo Carvalho wrote: > On Tue, May 24, 2011 at 10:02, Marijn <hkBst at gentoo.org> wrote: > > with version 5.1.1 of drracket running on linux, > > mouse-select/middle-mouse-paste isn't working. > > I can confirm that. > v5.1.1 compiled from source, Ubuntu 10.10. Fix pushed to the git repo.
| Posted on the dev mailing list. |
|
![[logo]](/logo.png){kind=logo}