Bug#872998: transition: php7.2
Yes, please, go ahead, and I will fix any eventual build failures as it goes.
Ondrej
--
Ondřej Surý <ondrej@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
Reply to: