Processing control commands:
> severity -1 serious
Bug #995756 {Done: Tobias Frost <[email protected]>}
[gnome-shell-extension-autohidetopbar] gnome-shell-extension-autohidetopbar:
missing file
/usr/share/gnome-shell/extensions/[email protected]/Settings-40.ui
Severity set to 'serious' from 'grave'
> tags -1 + pending
Bug #995756 {Done: Tobias Frost <[email protected]>}
[gnome-shell-extension-autohidetopbar] gnome-shell-extension-autohidetopbar:
missing file
/usr/share/gnome-shell/extensions/[email protected]/Settings-40.ui
Added tag(s) pending.
--
995756: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=995756
Debian Bug Tracking System
Contact [email protected] with problems
