Bug#872998: transition: PHP 7.0 to 7.1
Hi Ondřej,
On 10/09/17 11:25, Emilio Pozuelo Monfort wrote:
> Control: forwarded -1 https://release.debian.org/transitions/html/php7.1.html
> Control: tags -1 confirmed
>
> On 23/08/17 15:18, Ondřej Surý wrote:
>> Package: release.debian.org
>> Severity: normal
>> User: release.debian.org@packages.debian.org
>> Usertags: transition
>>
>> Hi,
>>
>> this is request for PHP 7.0 to PHP 7.1 transition. In fact, I could
>> make this a "soft" transition and build the PECL extensions for both
>> PHP 7.0 and 7.1 for now, so the extensions are not immediately broken
>> for people using PHP 7.0. But I have no idea how to express that using
>> Ben file syntax as it has to be something like:
>>
>> is_bad = .depends ~ "phpapi-20151012" & ! .depends ~ "phpapi-20160303";
>
> We can do that. Supporting 7.0 and 7.1 simultaneously for a little while sounds
> like a good idea.
What's the status of this transition?
Cheers,
Emilio
Reply to: