[php-src] PR #23573: zend_attributes.stub.php: remove an extra space
| From: | DanielEScherzer | Date: | Fri, 04 Sep 2026 21:00:28 +0000 |
| Subject: | [php-src] PR #23573: zend_attributes.stub.php: remove an extra space | ||
| Groups: | php.git-pulls | ||
| Request: | Send a blank email to git-pulls+get-38311@lists.php.net to get a copy of this message | ||