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