Processed: tetex-extra / jadetex bug maint

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

Processing commands for control@bugs.debian.org:

> reassign 63796 tetex-extra
Bug#63796: Error in configuration during install
Bug reassigned from package `jadetex' to `tetex-extra'.

> severity 63796 important
Bug#63796: Error in configuration during install
Severity set to `important'.

> merge 63796 67549
Bug#63796: Error in configuration during install
Bug#67549: jadetex: cannot be installed; report per request
Bug#70415: jadetex: could not be installed, report as requested
Merged 63796 67549 70415.

> retitle 69510 [needs more info] jadetex did not install
Bug#69510: jadetex did not install
Changed Bug title.

> thanks
Stopping processing here.

Please contact me if you need assistance.

Darren Benham
(administrator, Debian Bugs database)