[php-maint] Processed: reassign 823515 to php-common, found 823515 in php-defaults/37, fixed 823515 in php-defaults/40 ...

[Debian Bug Tracking System]

Processing commands for control at bugs.debian.org:

> reassign 823515 php-common
Bug #823515 {Done: Ondřej Surý <ondrej at debian.org>} [php7.0-cli] php7.0-cli: missing Depends: php-common (>= 1:37)
Bug reassigned from package 'php7.0-cli' to 'php-common'.
No longer marked as found in versions php7.0/7.0.6-1.
No longer marked as fixed in versions php-defaults/40.
> found 823515 php-defaults/37
Bug #823515 {Done: Ondřej Surý <ondrej at debian.org>} [php-common] php7.0-cli: missing Depends: php-common (>= 1:37)
Marked as found in versions php-defaults/37 and reopened.
> fixed 823515 php-defaults/40
Bug #823515 [php-common] php7.0-cli: missing Depends: php-common (>= 1:37)
Marked as fixed in versions php-defaults/40.
> close 823515
Bug #823515 [php-common] php7.0-cli: missing Depends: php-common (>= 1:37)
Marked Bug as done
> thanks
Stopping processing here.

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