Processed: Re: Bug#817859: gnutls-bin: man page formatting problems

[Debian Bug Tracking System]

Processing control commands:

> reassign -1 autogen 1:5.18.4-1
Bug #817859 [gnutls-bin] gnutls-bin: man page formatting problems
Bug reassigned from package 'gnutls-bin' to 'autogen'.
No longer marked as found in versions gnutls28/3.3.8-6+deb8u3.
Ignoring request to alter fixed versions of bug #817859 to the same values previously set
Bug #817859 [autogen] gnutls-bin: man page formatting problems
Marked as found in versions autogen/1:5.18.4-1.
> forwarded -1 https://sourceforge.net/p/autogen/bugs/175/
Bug #817859 [autogen] gnutls-bin: man page formatting problems
Set Bug forwarded-to-address to 'https://sourceforge.net/p/autogen/bugs/175/'.
> severity -1 normal
Bug #817859 [autogen] gnutls-bin: man page formatting problems
Severity set to 'normal' from 'minor'

-- 
817859: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=817859
Debian Bug Tracking System
Contact owner at bugs.debian.org with problems