Processed: bug 861317 is forwarded to https://github.com/Debian/debiman/issues/48

[owner@bugs.debian.org (Debian Bug Tracking System)]

Processing commands for control@bugs.debian.org:

> forwarded 861317 https://github.com/Debian/debiman/issues/48
Bug #861317 [manpages.debian.org] manpages.debian.org: anchors for command-line options
Set Bug forwarded-to-address to 'https://github.com/Debian/debiman/issues/48'.
> thanks
Stopping processing here.

Please contact me if you need assistance.
-- 
861317: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=861317
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems