Processed: Bug#62775: tetex-doc: tetex-doc contains non-free documentation (stmaryrd)
Processing commands for control@bugs.debian.org:
> severity 62775 important
Bug#62775: tetex-doc: tetex-doc contains non-free documentation (stmaryrd)
Severity set to `important'.
> severity 62776 important
Bug#62776: tetex-extra: non-free file included (stmaryrd)
Severity set to `important'.
> thanks
Stopping processing here.
Please contact me if you need assistance.
Darren Benham
(administrator, Debian Bugs database)
Reply to: