Processed: Re: Bug#910072: RM: php7.1/7.1.20-1
Processing control commands:
> reassign -1 ftp.debian.org
Bug #910072 [release.debian.org] RM: php7.1/7.1.20-1
Bug reassigned from package 'release.debian.org' to 'ftp.debian.org'.
Ignoring request to alter found versions of bug #910072 to the same values previously set
Ignoring request to alter fixed versions of bug #910072 to the same values previously set
> retitle -1 RM: php7.1 -- RoM; obsolete php version
Bug #910072 [ftp.debian.org] RM: php7.1/7.1.20-1
Changed Bug title to 'RM: php7.1 -- RoM; obsolete php version' from 'RM: php7.1/7.1.20-1'.
--
910072: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=910072
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
Reply to: