Processed: yet another tetex upgrade problem

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

Processing commands for control@bugs.debian.org:

> reassign 125943 tetex-extra
Bug#125943: jadetex: pdfjadetex dies with format file error
Bug reassigned from package `jadetex' to `tetex-extra'.

> severity 125943 normal
Bug#125943: jadetex: pdfjadetex dies with format file error
Severity set to `normal'.

> tags 125943 + moreinfo
Bug#125943: jadetex: pdfjadetex dies with format file error
Tags added: moreinfo

> merge 125943 113899
Bug#113899: spurious installation problem together with jadetex
Bug#125943: jadetex: pdfjadetex dies with format file error
Merged 113899 125943.

> thanks
Stopping processing here.

Please contact me if you need assistance.

Debian bug tracking system administrator
(administrator, Debian Bugs database)