Processed: Fixing WNPP problems
Processing commands for control@bugs.debian.org:
> # Binary package dviutils used instead of source package seetex
> retitle 448107 O: seetex -- Some DVI utilities
Bug#448107: O: dviutils -- Some DVI utilities
Changed Bug title to `O: seetex -- Some DVI utilities' from `O: dviutils -- Some DVI utilities'.
> thanks
Stopping processing here.
Please contact me if you need assistance.
Debian bug tracking system administrator
(administrator, Debian Bugs database)
Reply to: