For the record, a fix is committed at: https://github.com/gplessis/dotdeb- php5/commit/82d4b47e379c339596d740551e498d32c717a23b
Regards, Antonio -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org