Processed: Re: Bug#746017: /usr/share/maven/man is good when 2 packages have same man.

[Debian Bug Tracking System]

Processing control commands:

> tags -1 + wontfix
Bug #746017 {Done: Emmanuel Bourg <ebourg at apache.org>} [maven] maven: Manpage should be in /usr/share/man
Ignoring request to alter tags of bug #746017 to the same tags previously set
> close -1
Bug #746017 {Done: Emmanuel Bourg <ebourg at apache.org>} [maven] maven: Manpage should be in /usr/share/man
Bug 746017 is already marked as done; not doing anything.

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