Processing control commands: > severity -1 serious Bug #1079239 [gnome-shell-extension-autohidetopbar] gnome-shell-extension-autohidetopbar: needs update for GNOME Shell 47 Severity set to 'serious' from 'wishlist' > tags -1 +patch Bug #1079239 [gnome-shell-extension-autohidetopbar] gnome-shell-extension-autohidetopbar: needs update for GNOME Shell 47 Added tag(s) patch. > forwarded -1 > https://salsa.debian.org/debian/gnome-shell-extension-autohidetopbar/-/merge_requests/3 Bug #1079239 [gnome-shell-extension-autohidetopbar] gnome-shell-extension-autohidetopbar: needs update for GNOME Shell 47 Set Bug forwarded-to-address to 'https://salsa.debian.org/debian/gnome-shell-extension-autohidetopbar/-/merge_requests/3'.
-- 1079239: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1079239 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems
