On 28/01/18 14:19, Ondřej Surý wrote: > Yes, please, go ahead, and I will fix any eventual build failures as it goes.
Done, see the failures on https://release.debian.org/transitions/html/php7.2.html Emilio
- Bug#872998: marked as done (transition: PHP 7.0 to ... Emilio Pozuelo Monfort
- Bug#872998: transition: php7.2 Emilio Pozuelo Monfort
- Bug#872998: transition: php7.2 Ondřej Surý
- Bug#872998: transition: php7.2 Emilio Pozuelo Monfort
- Bug#872998: transition: php7.2 Carsten Schoenert
