[debbugs-tracker] Processed (with 1 errors): Re: bug#10448: dist-xz and dist-gzip cannot be combined?

[GNU bug Tracking System]

Processing commands for address@hidden:

> merge 10448 10444
bug#10444: "make dist" fails if more than two compression formats are used
bug#10448: dist-xz and dist-gzip cannot be combined?
Mismatch - only bugs in same state can be merged:
Values for `severity' don't match:
 #10444 has `grave';
 #10448 has `normal'

> thanks
Stopping processing here.

Please contact address@hidden if you need assistance.

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