Processing commands for cont...@bugs.debian.org:
> reopen 906744
Bug #906744 {Done: Ondřej Surý <ond...@sury.org>} [php-yaml]
/usr/lib/php/20151012/yaml.so: cannot open shared object file
Bug reopened
Ignoring request to alter fixed versions of bug #906744 to the same values
previously set
> 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
