Processing commands for cont...@bugs.debian.org:
> reassign 823515 php-common
Bug #823515 {Done: Ondřej Surý <ond...@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ý <ond...@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 ow...@bugs.debian.org with problems
