[pkg-php-pear] Processed: unarchiving 813865, reopening 813865, notfound 813865 in 1.1.1-1, found 813865 in 1.1.1-6 ...

[Debian Bug Tracking System]

Processing commands for control at bugs.debian.org:

> unarchive 813865
Bug #813865 {Done: David Prévot <taffit at debian.org>} [php-fxsl] Useless in Debian
Unarchived Bug 813865
> reopen 813865
Bug #813865 {Done: David Prévot <taffit at debian.org>} [php-fxsl] Useless in Debian
Bug reopened
Ignoring request to alter fixed versions of bug #813865 to the same values previously set
> notfound 813865 1.1.1-1
Bug #813865 [php-fxsl] Useless in Debian
No longer marked as found in versions php-fxsl/1.1.1-1.
> found 813865 1.1.1-6
Bug #813865 [php-fxsl] Useless in Debian
Marked as found in versions php-fxsl/1.1.1-6.
> unarchive 813866
Bug #813866 {Done: David Prévot <taffit at debian.org>} [php-fdomdocument] Useless in Debian
Unarchived Bug 813866
> reopen 813866
Bug #813866 {Done: David Prévot <taffit at debian.org>} [php-fdomdocument] Useless in Debian
Bug reopened
Ignoring request to alter fixed versions of bug #813866 to the same values previously set
> notfound 813866 1.6.1-1
Bug #813866 [php-fdomdocument] Useless in Debian
No longer marked as found in versions php-fdomdocument/1.6.1-1.
> found 813866 1.6.7-2
Bug #813866 [php-fdomdocument] Useless in Debian
Marked as found in versions php-fdomdocument/1.6.7-2.
> thanks
Stopping processing here.

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