Processing commands for cont...@bugs.debian.org: > retitle 864630 stretch-pu: package tomcat8 Bug #864630 [release.debian.org] unblock: tomcat8/8.5.14-2 Changed Bug title to 'stretch-pu: package tomcat8' from 'unblock: tomcat8/8.5.14-2'. > user release.debian....@packages.debian.org Setting user to release.debian....@packages.debian.org (was a...@adam-barratt.org.uk). > usertags 864630 = pu Usertags were: unblock. Usertags are now: pu. > tags 864630 + stretch moreinfo Bug #864630 [release.debian.org] stretch-pu: package tomcat8 Added tag(s) stretch and moreinfo. > thanks Stopping processing here.
Please contact me if you need assistance. -- 864630: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=864630 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems
