Bug#872998: marked as done (transition: PHP 7.0 to 7.1)

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

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.

Cheers,
Emilio