[debbugs-tracker] Processed: (was: GNU Automake 1.13.2 released)

[GNU bug tracker automated control server]

Processing commands for address@hidden:

> retitle 14410  Suggested Texinfo suffixes inconsistent with suggestions of 
> Texinfo manual
Bug #14410 [automake] GNU Automake 1.13.2 released
Changed bug title to 'Suggested Texinfo suffixes inconsistent with suggestions 
of Texinfo manual' from 'GNU Automake 1.13.2 released'
> severity 14410 minor
Bug #14410 [automake] Suggested Texinfo suffixes inconsistent with suggestions 
of Texinfo manual
Severity set to 'minor' from 'normal'

> tags 14410 wontfix
Bug #14410 [automake] Suggested Texinfo suffixes inconsistent with suggestions 
of Texinfo manual
Added tag(s) wontfix.
> close 14410
bug#14410: Suggested Texinfo suffixes inconsistent with suggestions of Texinfo 
manual
bug closed, send any further explanations to
address@hidden and Antonio Diaz Diaz <address@hidden>

> stop
Stopping processing here.

Please contact address@hidden if you need assistance.

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