[pkg-gnupg-maint] Processed: Re: Bug#858082: gpg manual/info docs: incorrect filename options.skel instead of gpg-conf.skel

[Debian Bug Tracking System]

Processing control commands:

> forwarded 858082 https://dev.gnupg.org/T3086
Bug #858082 [gnupg] gpg manual/info docs: incorrect filename options.skel instead of gpg-conf.skel
Set Bug forwarded-to-address to 'https://dev.gnupg.org/T3086'.

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