[php-src] PR #25310: Fix GH-11821 Error when killing script
| From: | kamil-tekiela | Date: | Sun, 08 Nov 2026 14:03:46 +0000 |
| Subject: | [php-src] PR #25310: Fix GH-11821 Error when killing script | ||
| Groups: | php.git-pulls | ||
| Request: | Send a blank email to git-pulls+get-40427@lists.php.net to get a copy of this message | ||