Processed: Re: gnome-shell-extension-arc-menu: needs update for GNOME Shell 46

[Debian Bug Tracking System]

Processing control commands:

> severity -1 serious
Bug #1052088 {Done: Jeremy Bícha <jbi...@ubuntu.com>} 
[gnome-shell-extension-arc-menu] gnome-shell-extension-arc-menu: needs update 
for GNOME Shell 45
Severity set to 'serious' from 'important'

-- 
1052088: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1052088
Debian Bug Tracking System
Contact ow...@bugs.debian.org with problems