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