Processing commands for cont...@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 tsimo...@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 ow...@bugs.debian.org with problems
