[debbugs-tracker] Processed: your mail

[GNU bug tracker automated control server]

Processing commands for address@hidden:

> tags 12715 fixed
Bug #12715 [coreutils] coreutils-8.20: bad dependency information with man page 
generation
Added tag(s) fixed.
> close 12715
bug#12715: coreutils-8.20: bad dependency information with man page generation
bug closed, send any further explanations to
address@hidden and Mike Frysinger <address@hidden>

>
End of message, stopping processing here.

Please contact address@hidden if you need assistance.

GNU bugs database, http://debbugs.gnu.org/