From: Matthew Flatt (mflatt at cs.utah.edu) Date: Wed Nov 2 11:52:59 EDT 2011 |
|
At Wed, 2 Nov 2011 11:50:25 -0400, Eli Barzilay wrote: > 20 minutes ago, Sam Tobin-Hochstadt wrote: > > > * Fixed several GUI problems. > > > > This should explicitly mention Ubuntu 11.10/GTK3, and go ahead of > > most of the others. > > I'll leave this for Matthew to decide. (There were a bunch of such > things.) * Fixed several GUI problems, including problems on Ubuntu 11.10 (GTK+ 3) and 64-bit Mac OS X.
Posted on the dev mailing list. |
|