Processing commands for cont...@bugs.debian.org:
> reassign 906744 dh-php
Bug #906744 {Done: Ondřej Surý <ond...@debian.org>} [php-yaml]
/usr/lib/php/20151012/yaml.so: cannot open shared object file
Bug reassigned from package 'php-yaml' to 'dh-php'.
No longer marked as found in versions php-yaml/2.0.2+1.3.1-2.
No longer marked as fixed in versions dh-php/0.31.
> found 906744 dh-php/0.26
Bug #906744 {Done: Ondřej Surý <ond...@debian.org>} [dh-php]
/usr/lib/php/20151012/yaml.so: cannot open shared object file
Marked as found in versions dh-php/0.26 and reopened.
> fixed 906744 dh-php/0.33
Bug #906744 [dh-php] /usr/lib/php/20151012/yaml.so: cannot open shared object
file
Marked as fixed in versions dh-php/0.33.
> thanks
Stopping processing here.
Please contact me if you need assistance.
--
906744: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=906744
Debian Bug Tracking System
Contact ow...@bugs.debian.org with problems
