Processed: stretch-pu: package docbook-to-man/1:2.0.0-35+deb9u1
Processing commands for control@bugs.debian.org:
> retitle 893285 stretch-pu: package docbook-to-man/1:2.0.0-35+deb9u1
Bug #893285 [docbook-to-man] docbook-to-man: please update stretch with fix for non-determinstic output
Changed Bug title to 'stretch-pu: package docbook-to-man/1:2.0.0-35+deb9u1' from 'docbook-to-man: please update stretch with fix for non-determinstic output'.
> reassign 893285 release.debian.org
Bug #893285 [docbook-to-man] stretch-pu: package docbook-to-man/1:2.0.0-35+deb9u1
Bug reassigned from package 'docbook-to-man' to 'release.debian.org'.
No longer marked as found in versions docbook-to-man/1:2.0.0-35.
Ignoring request to alter fixed versions of bug #893285 to the same values previously set
> severity 893285 normal
Bug #893285 [release.debian.org] stretch-pu: package docbook-to-man/1:2.0.0-35+deb9u1
Severity set to 'normal' from 'wishlist'
> tags 893285 + stretch
Bug #893285 [release.debian.org] stretch-pu: package docbook-to-man/1:2.0.0-35+deb9u1
Added tag(s) stretch.
> user release.debian.org@packages.debian.org
Setting user to release.debian.org@packages.debian.org (was lamby@debian.org).
> usertags 893285 pu
There were no usertags set.
Usertags are now: pu.
> thanks
Stopping processing here.
Please contact me if you need assistance.
--
893285: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=893285
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
Reply to: