Bug#872998: transition: PHP 7.0 to 7.1
On 05/12/17 17:23, Ondřej Surý wrote:
> Hi Emilio,
>
> the php-defaults has been uploaded some time ago, and some extensions
> have already been rebuild.
Ah, I didn't know we were ready to schedule binNMUs.
> However with PHP 7.2 release, it might make sense to take this one step
> further and add PHP 7.2 as the target for the transition (after it
> passes NEW queue).
Ok, that makes sense. Let's wait for 7.2 to clear NEW and for php-defaults to be
updated, then.
Cheers,
Emilio
Reply to: