Processing commands for cont...@bugs.debian.org:
> retitle 1052088 gnome-shell-extension-arc-menu: needs update for GNOME Shell
> 46
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
Changed Bug title to 'gnome-shell-extension-arc-menu: needs update for GNOME
Shell 46' from 'gnome-shell-extension-arc-menu: needs update for GNOME Shell
45'.
> user pkg-gnome-maintain...@lists.alioth.debian.org
Setting user to pkg-gnome-maintain...@lists.alioth.debian.org (was
jeremy.bi...@canonical.com).
> usertags 1059485 gnome-shell-46
Usertags were: libgnome-bluetooth13.
Usertags are now: libgnome-bluetooth13 gnome-shell-46.
>
End of message, stopping processing here.
Please contact me if you need assistance.
--
1052088: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1052088
1059485: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1059485
Debian Bug Tracking System
Contact ow...@bugs.debian.org with problems
