Processing commands for [email protected]: > tags 995756 + pending Bug #995756 [gnome-shell-extension-autohidetopbar] gnome-shell-extension-autohidetopbar: missing file /usr/share/gnome-shell/extensions/[email protected]/Settings-40.ui Added tag(s) pending. > thanks Stopping processing here.
Please contact me if you need assistance. -- 995756: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=995756 Debian Bug Tracking System Contact [email protected] with problems
