Processed: Re: Bug#893285: stretch-pu: package docbook-to-man/1:2.0.0-35+deb9u1
Processing control commands:
> reopen -1
Bug #893285 {Done: Julien Cristau <jcristau@debian.org>} [release.debian.org] stretch-pu: package docbook-to-man/1:2.0.0-35+deb9u1
Bug reopened
Ignoring request to alter fixed versions of bug #893285 to the same values previously set
--
893285: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=893285
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
Reply to: