[debbugs-tracker] Processed (with 1 errors): Re: bug#12578: depcomp typo "informations"

[GNU bug tracker automated control server]

Processing commands for address@hidden:

> tags 12578 minor
Unknown tag/s: minor.
Recognized are: patch wontfix moreinfo unreproducible fixed notabug pending 
help security confirmed easy.

> close 12578
bug#12578: depcomp typo "informations"
bug closed, send any further explanations to
address@hidden and Paul Eggert <address@hidden>

> thanks
Stopping processing here.

Please contact address@hidden if you need assistance.

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