Processing commands for [email protected]:

> user [email protected]
Setting user to [email protected] (was [email protected]).
> usertags 823515 piuparts
There were no usertags set.
Usertags are now: piuparts.
> reopen 823515
Bug #823515 {Done: Ondřej Surý <[email protected]>} [php7.0-cli] 
update-alternatives: warning: forcing reinstallation of alternative 
/usr/bin/phar7.0 because link group phar is broken
Bug reopened
Ignoring request to alter fixed versions of bug #823515 to the same values 
previously set
> retitle 823515 php7.0-cli: missing Depends: php-common (>= 1:37)
Bug #823515 [php7.0-cli] update-alternatives: warning: forcing reinstallation 
of alternative /usr/bin/phar7.0 because link group phar is broken
Changed Bug title to 'php7.0-cli: missing Depends: php-common (>= 1:37)' from 
'update-alternatives: warning: forcing reinstallation of alternative 
/usr/bin/phar7.0 because link group phar is broken'.
> severity 823515 serious
Bug #823515 [php7.0-cli] php7.0-cli: missing Depends: php-common (>= 1:37)
Severity set to 'serious' from 'normal'
> 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 [email protected] with problems

Reply via email to