Processed: ITA: dvipng -- convert PNG graphics from DVI files
Processing commands for control@bugs.debian.org:
> retitle 391195 ITA: dvipng -- convert PNG graphics from DVI files
Bug#391195: ITA: dvipng -- convert PNG graphics from DVI files
Changed Bug title.
> owner 391195 !
Bug#391195: ITA: dvipng -- convert PNG graphics from DVI files
Owner changed from Franz Pletz <fpletz@franz-pletz.org> to "Varun Hiremath" <varunhiremath@gmail.com>.
> thanks
Stopping processing here.
Please contact me if you need assistance.
Debian bug tracking system administrator
(administrator, Debian Bugs database)
Reply to: