Processed: Re: Bug#872998: marked as done (transition: PHP 7.0 to 7.1)
Processing control commands:
> reopen -1
Bug #872998 {Done: Ondřej Surý <ondrej@debian.org>} [release.debian.org] transition: PHP 7.0 to 7.1
'reopen' may be inappropriate when a bug has been closed with a version;
all fixed versions will be cleared, and you may need to re-add them.
Bug reopened
No longer marked as fixed in versions php-defaults/60.
> retitle -1 transition: php7.2
Bug #872998 [release.debian.org] transition: PHP 7.0 to 7.1
Changed Bug title to 'transition: php7.2' from 'transition: PHP 7.0 to 7.1'.
> forwarded -1 https://release.debian.org/transitions/html/php7.2.html
Bug #872998 [release.debian.org] transition: php7.2
Changed Bug forwarded-to-address to 'https://release.debian.org/transitions/html/php7.2.html' from 'https://release.debian.org/transitions/html/php7.1.html'.
--
872998: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=872998
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
Reply to: