Processing commands for cont...@bugs.debian.org: > user release.debian....@packges.debian.org Setting user to release.debian....@packges.debian.org (was a...@adam-barratt.org.uk). > usertags 781284 = pu There were no usertags set. Usertags are now: pu. > tags 781284 + jessie Bug #781284 [release.debian.org] pu: package gnome-shell/3.14.4-1 Ignoring request to alter tags of bug #781284 to the same tags previously set > thanks Stopping processing here.
Please contact me if you need assistance. -- 781284: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=781284 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems -- To UNSUBSCRIBE, email to debian-release-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: https://lists.debian.org/handler.s.c.142981320531723.transcr...@bugs.debian.org
