Processed: Re: Bug#921471: Should pdf2htmlex be removed?
Processing control commands:
> retitle -1 ROM: pdf2htmlex -- dead upstream
Bug #921471 [pdf2htmlex] Should pdf2htmlex be removed?
Changed Bug title to 'ROM: pdf2htmlex -- dead upstream' from 'Should pdf2htmlex be removed?'.
> reassign -1 ftp.debian.org
Bug #921471 [pdf2htmlex] ROM: pdf2htmlex -- dead upstream
Bug reassigned from package 'pdf2htmlex' to 'ftp.debian.org'.
No longer marked as found in versions 0.14.6+ds-4.
Ignoring request to alter fixed versions of bug #921471 to the same values previously set
--
921471: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=921471
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
Reply to: