Processed: Re: O: texi2html -- Convert Texinfo files to HTML

[owner@bugs.debian.org (Debian Bug Tracking System)]

Processing commands for control@bugs.debian.org:

> retitle 327440 ITA: html2ps -- HTML to PostScript converter
Bug#327440: O: html2ps -- HTML to PostScript converter
Changed Bug title.

> owner 327440 !
Bug#327440: ITA: html2ps -- HTML to PostScript converter
Owner recorded as Florian Ernst <florian@uni-hd.de>.

> retitle 327441 ITA: texi2html -- Convert Texinfo files to HTML
Bug#327441: O: texi2html -- Convert Texinfo files to HTML
Changed Bug title.

> owner 327441 !
Bug#327441: ITA: texi2html -- Convert Texinfo files to HTML
Owner recorded as Florian Ernst <florian@uni-hd.de>.

> thanks control@b.d.o BCCed
Stopping processing here.

Please contact me if you need assistance.

Debian bug tracking system administrator
(administrator, Debian Bugs database)