Processing commands for cont...@bugs.debian.org:
> notfixed 1052088 51-1
Bug #1052088 {Done: Jeremy Bícha <jbi...@ubuntu.com>}
[gnome-shell-extension-arc-menu] gnome-shell-extension-arc-menu: needs update
for GNOME Shell 46
No longer marked as fixed in versions gnome-shell-extension-arc-menu/51-1.
> notfixed 1052088 52-1~exp1
Bug #1052088 {Done: Jeremy Bícha <jbi...@ubuntu.com>}
[gnome-shell-extension-arc-menu] gnome-shell-extension-arc-menu: needs update
for GNOME Shell 46
No longer marked as fixed in versions gnome-shell-extension-arc-menu/52-1~exp1.
> fixed 1052088 57-1~exp1
Bug #1052088 {Done: Jeremy Bícha <jbi...@ubuntu.com>}
[gnome-shell-extension-arc-menu] gnome-shell-extension-arc-menu: needs update
for GNOME Shell 46
Marked as fixed in versions gnome-shell-extension-arc-menu/57-1~exp1.
>
End of message, stopping processing here.
Please contact me if you need assistance.
--
1052088: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1052088
Debian Bug Tracking System
Contact ow...@bugs.debian.org with problems
