Processed: retitle to O: htmldoc -- HTML processor that generates indexed HTML, PS, and PDF
Processing commands for control@bugs.debian.org:
> retitle 854222 O: htmldoc -- HTML processor that generates indexed HTML, PS, and PDF
Bug #854222 [wnpp] ITA: htmldoc -- HTML processor that generates indexed HTML, PS, and PDF
Changed Bug title to 'O: htmldoc -- HTML processor that generates indexed HTML, PS, and PDF' from 'ITA: htmldoc -- HTML processor that generates indexed HTML, PS, and PDF'.
> noowner 854222
Bug #854222 [wnpp] O: htmldoc -- HTML processor that generates indexed HTML, PS, and PDF
Removed annotation that Bug was owned by tsimonq2@ubuntu.com.
> stop
Stopping processing here.
Please contact me if you need assistance.
--
854222: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=854222
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
Reply to: