Your message dated Sat, 17 Feb 2018 08:58:02 +0100
with message-id <[email protected]>
and subject line Re: Bug#872998: transition: php7.2
has caused the Debian Bug report #872998,
regarding transition: php7.2
to be marked as done.
This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.
(NB: If you are a system administrator and have no idea what this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact [email protected]
immediately.)
--
872998: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=872998
Debian Bug Tracking System
Contact [email protected] with problems
--- Begin Message ---
Package: release.debian.org
Severity: normal
User: [email protected]
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";
Thanks,
Ondrej
Ben file:
title = "php7.1";
is_affected = .depends ~ "phpapi-20151012" | .depends ~ "phpapi-20160303";
is_good = .depends ~ "phpapi-20160303";
is_bad = .depends ~ "phpapi-20151012";
-- System Information:
Debian Release: 9.1
APT prefers stable
APT policy: (990, 'stable'), (800, 'unstable'), (500, 'unstable-debug'),
(500, 'stable-debug'), (500, 'proposed-updates'), (1, 'experimental-debug'),
(1, 'experimental')
Architecture: amd64 (x86_64)
Foreign Architectures: i386
Kernel: Linux 4.9.0-3-amd64 (SMP w/4 CPU cores)
Locale: LANG=en_IE.UTF-8, LC_CTYPE=en_IE.UTF-8 (charmap=UTF-8),
LANGUAGE=en_DK:en (charmap=UTF-8)
Shell: /bin/sh linked to /bin/dash
Init: systemd (via /run/systemd/system)
--- End Message ---
--- Begin Message ---
On 28/01/18 14:19, Ondřej Surý wrote:
> Yes, please, go ahead, and I will fix any eventual build failures as it goes.
This is done now. Closing.
I guess the next step is to drop support for php7.0 and 7.1 from php-defaults
and rebuilding the modules so they no longer depend on those versions and we can
remove them. Please open a new transition bug for that as this is getting long.
Thanks,
Emilio
--- End Message ---
