Processed: Re: Bug#316952: tetex-bin: Type 1 fonts are not used by default

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

Processing commands for control@bugs.debian.org:

> reassign 316952 tetex-extra
Bug#316952: tetex-bin: Type 1 fonts are not used by default
Bug reassigned from package `tetex-bin' to `tetex-extra'.

> severity 316952 important
Bug#316952: tetex-bin: Type 1 fonts are not used by default
Severity set to `important'.

> thanks
Stopping processing here.

Please contact me if you need assistance.

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