Processed: #674556 gtk-recordmydesktop: hides main menubar in gnome3 making desktop unusable

Processing commands for cont...@bugs.debian.org: > severity 674556 important Bug #674556 [gtk-recordmydesktop] gtk-recordmydesktop: hides main menubar in gnome3 making desktop unusable Severity set to 'important' from 'grave' > thanks Stopping processing here. Please contact me if you need assis

Processed: #674556 gtk-recordmydesktop: hides main menubar in gnome3 making desktop unusable

Processing commands for cont...@bugs.debian.org: > package gtk-recordmydesktop Limiting to bugs with field 'package' containing at least one of 'gtk-recordmydesktop' Limit currently set to 'package':'gtk-recordmydesktop' > severity 674556 grave Bug #674556 [gtk-recordmydesktop] gtk-recordmydeskt