Processing control commands: > severity -1 serious Bug #993196 [gnome-shell-extension-remove-dropdown-arrows] gnome-shell-extension-remove-dropdown-arrows: unnecessary with GNOME Shell 40 Severity set to 'serious' from 'important'
-- 993196: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=993196 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems
