Processing commands for [email protected]: > unarchive 813861 Bug #813861 {Done: David Prévot <[email protected]>} [phpdox] Useless in Debian Unarchived Bug 813861 > # phpdox does not seem that useful five years later > reopen 813861 Bug #813861 {Done: David Prévot <[email protected]>} [phpdox] Useless in Debian Bug reopened Ignoring request to alter fixed versions of bug #813861 to the same values previously set > thanks Stopping processing here.
Please contact me if you need assistance. -- 813861: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=813861 Debian Bug Tracking System Contact [email protected] with problems
