[GIT-PULLS] [php-src] PR #23033: fix: 588dd04

[email protected] (NickSdot) Tue, 4 Aug 2026 13:54:29 +0000

Newsgroups	php.git-pulls
Message-ID	<[email protected]>

Pull Request: https://github.com/php/php-src/pull/23033
Author: NickSdot

588dd04 caused a little oopsie woopsie that makes unrelated PRs CI fail.

cc @Girgias

lmpx.com only provides a reader for public news (NNTP) servers. It is not affiliated with the servers or forums shown here and is not responsible for the content of articles, which is written by their respective authors.