Your message dated Mon, 21 Jan 2019 16:21:08 +0100
with message-id <[email protected]>
and subject line Re: Bug#913357: Acknowledgement ([php-redis] Missing support
for default PHP version)
has caused the Debian Bug report #913357,
regarding [php-redis] Missing support for default PHP version
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.)
--
913357: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=913357
Debian Bug Tracking System
Contact [email protected] with problems
--- Begin Message ---
Package: php-redis
Version: 4.2.0~rc2-1
Severity: normal
--- Please enter the report below this line. ---
Hi,
Along with #911670 and #911719, the php-redis package lacks support for
the current default PHP version in buster (7.2), and is only built with 7.3.
I'm sorry to open new bug reports, but even if I saw that we are in a
middle of 7.2 to 7.3 transition
(https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=911670#11), it seems
difficult to completely ignore this, either in changelog.Debian or
NEWS.Debian. And as long as the default PHP version is 7.2, all modules
should be at least built with this one, along with 7.3 to ease the
transition.
What's the plan for buster anyway? Having the default version to 7.3
seems fine, but removing supports for all older versions would likely
break some applications.
Adrien
--- System information. ---
Architecture:
Kernel: Linux 4.18.0-2-amd64
Debian Release: buster/sid
500 unstable-debug debug.mirrors.debian.org
500 unstable ftp.fr.debian.org
500 testing download.jitsi.org
1 experimental ftp.fr.debian.org
--- Package information. ---
Package's Depends field is empty.
Package's Recommends field is empty.
Package's Suggests field is empty.
--- End Message ---
--- Begin Message ---
Version: 4.2.0-1
Since PHP is now defaulted to 7.3, this is no longer relevant.
--- End Message ---
