Processing commands for cont...@bugs.debian.org:
> unarchive 813865
Bug #813865 {Done: David Prévot <taf...@debian.org>} [php-fxsl] Useless in
Debian
Unarchived Bug 813865
> reopen 813865
Bug #813865 {Done: David Prévot <taf...@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 <taf...@debian.org>} [php-fdomdocument] Useless
in Debian
Unarchived Bug 813866
> reopen 813866
Bug #813866 {Done: David Prévot <taf...@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 ow...@bugs.debian.org with problems
