Processed: Re: Bug#717146: pu: package gnome-shell/3.4.2-7+deb7u1

Processing control commands: > tags -1 + pending Bug #717146 [release.debian.org] pu: package gnome-shell/3.4.2-7+deb7u1 Added tag(s) pending. -- 717146: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=717146 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems -- To UNSUBSC

Processed: Re: Bug#717146: pu: package gnome-shell/3.4.2-7+deb7u1

Processing control commands: > tags -1 + confirmed Bug #717146 [release.debian.org] pu: package gnome-shell/3.4.2-7+deb7u1 Added tag(s) confirmed. -- 717146: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=717146 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems -- To UNS