[debbugs-tracker] Processed (with 1 errors): Re: bug#12211: Input file mangled in distcheck-override-infodir test

[GNU bug tracker automated control server]

Processing commands for address@hidden:

> merge 12198 12211
bug#12198: automake 1.12.3 self-tests failure: t/distcheck-override-infodir
bug#12211: Input file mangled in distcheck-override-infodir test
Mismatch - only bugs in same state can be merged:
Values for `severity' don't match:
 #12198 has `minor';
 #12211 has `normal'
Values for `done mark' don't match:
 #12198 has `done';
 #12211 has `open'

> close 12211
bug#12211: Input file mangled in distcheck-override-infodir test
bug closed, send any further explanations to
address@hidden and Adam Sampson <address@hidden>

> thanks
Stopping processing here.

Please contact address@hidden if you need assistance.

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