Processed: jadetex/tetex merge

[owner@bugs.debian.org (Debian Bug Tracking System)]

Processing commands for control@bugs.debian.org:

> severity 70415 important
Bug#70415: jadetex: could not be installed, report as requested
Severity set to `important'.

> reassign 67549 tetex-base
Bug#67549: jadetex: cannot be installed; report per request
Bug reassigned from package `jadetex' to `tetex-base'.

> merge 70415 67549
Bug#67549: jadetex: cannot be installed; report per request
Bug#70415: jadetex: could not be installed, report as requested
Mismatch - only  in same state can be merged:
Values for `package' don't match:
 #67549 has `tetex-base';
 #70415 has `tetex-extra'

> thanks
Stopping processing here.

Please contact me if you need assistance.

Darren Benham
(administrator, Debian Bugs database)