Processed: Re: Bug#864630: unblock: tomcat8/8.5.14-2

[owner@bugs.debian.org (Debian Bug Tracking System)]

Processing commands for control@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.org@packages.debian.org
Setting user to release.debian.org@packages.debian.org (was adam@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 owner@bugs.debian.org with problems