On Mar 5, 2013 5:57 AM, "Matthias Clasen" <[email protected]> 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 [email protected] https://mail.gnome.org/mailman/listinfo/desktop-devel-list
