They just noticed the problem late, it happens sometimes. Their process was
transparent and they did it cleanly with a new release, much better than
sneaking out a new version of the same release as we see sometimes in other
ports ;-)
https://github.com/php/php-src/commit/fdeadcd9ba0627cf1967220489ab6caa031e4034
--
Sent from a phone, apologies for poor formatting.
On 15 March 2025 18:54:54 Mike Fischer <fischer+o...@lavielle.com> wrote:
Thanks!
Strange release process though. Even their GitHub repo lists no 8.3.18
release, though there is a 8.3.18 branch:
https://github.com/php/php-src/tree/PHP-8.3.18
Am 15.03.2025 um 19:37 schrieb Stuart Henderson <s...@spacehopper.org>:
On 2025/03/15 15:33, Mike Fischer wrote:
After running `pkg_add -u` I ended up with php-8.3.18. However this version
is not listed in the PHP changelog:
https://www.php.net/ChangeLog-8.php#8.3.19
Instead version 8.3.19 is listed and 8.3.18 was apparently skipped.
They released 8.3.18, and then they released 8.3.19.
I've just updated the ports, the change is a noop except on aarch64.
