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 [maven] maven: Manpage should be in /usr/share/man
Added tag(s) wontfix.
> close -1
Bug #746017 [maven] maven: Manpage should be in /usr/share/man
Marked Bug as done

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