Bug#872998: transition: php7.2

[Emilio Pozuelo Monfort <pochu@debian.org>]

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