Processed: retitle 826917 to O: catdvi -- DVI to plain text translator
Processing commands for control@bugs.debian.org:
> retitle 826917 O: catdvi -- DVI to plain text translator
Bug #826917 [wnpp] O: catdvi
Changed Bug title to 'O: catdvi -- DVI to plain text translator' from 'O: catdvi'.
> thanks
Stopping processing here.
Please contact me if you need assistance.
--
826917: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=826917
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
Reply to: