Processing control commands: > severity -1 important Bug #885417 [gnome-shell-extension-autohidetopbar] Does not load under gnome-shell version 3.26 Severity set to 'important' from 'grave'
-- 885417: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=885417 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems
