[debbugs-tracker] Processed: Re: bug#19108: bad error messages in dist targets, automake 1.14.1

[GNU bug tracker automated control server]

Processing commands for address@hidden:

> severity 19108 minor
Bug #19108 [automake] bad error messages in dist targets, automake 1.14.1
Severity set to 'minor' from 'normal'

> close 19108
bug#19108: bad error messages in dist targets, automake 1.14.1
bug closed, send any further explanations to
address@hidden and Aharon Robbins <address@hidden>

> thanks
Stopping processing here.

Please contact address@hidden if you need assistance.

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