Yes, please, go ahead, and I will fix any eventual build failures as it goes.
Ondrej -- Ondřej Surý <ond...@sury.org> On Sat, Jan 27, 2018, at 00:20, Emilio Pozuelo Monfort wrote: > On 25/01/18 12:55, Emilio Pozuelo Monfort wrote: > > Control: reopen -1 > > Control: retitle -1 transition: php7.2 > > Control: forwarded -1 > > https://release.debian.org/transitions/html/php7.2.html > > > > On 25/01/18 12:27, Debian Bug Tracking System wrote: > >> php-defaults (60) unstable; urgency=medium > >> . > >> * Start the soft-transition to PHP 7.2 by adding 7.2 to a list of > >> supported versions and making PHP 7.2 the default Debian version > >> (Closes: #872998) > > > > This is not fixed yet. Let's keep it open until the transition is finished. > > Now that php7.2 is built and php-defaults has been updated, can I schedule the > binNMUs? > > Cheers, > Emilio
