Processed: retitle 945185 to ITA: pdf2djvu -- PDF to DjVu converter

["Debian Bug Tracking System" <owner@bugs.debian.org>]

Processing commands for control@bugs.debian.org:

> retitle 945185 ITA: pdf2djvu -- PDF to DjVu converter
Bug #945185 [wnpp] O: pdf2djvu -- PDF to DjVu converter
Changed Bug title to 'ITA: pdf2djvu -- PDF to DjVu converter' from 'O: pdf2djvu -- PDF to DjVu converter'.
> thanks
Stopping processing here.

Please contact me if you need assistance.
-- 
945185: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=945185
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems