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
