Processing commands for [email protected]: > 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 [email protected] Setting user to [email protected] (was [email protected]). > 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 [email protected] with problems
