On Mar 5, 2013 5:57 AM, "Matthias Clasen" <matthias.cla...@gmail.com> wrote: > 694771 mutter menus broken in 3.7.10
This was fixed in 3.7.91, somehow we missed closing the bug.
_______________________________________________ desktop-devel-list mailing list desktop-devel-list@gnome.org https://mail.gnome.org/mailman/listinfo/desktop-devel-list