[php-src] Issue #12094: 8.1.23 tag missing from GitHub
| From: | dzuelke | Date: | Thu, 31 Aug 2023 18:22:18 +0000 |
| Subject: | [php-src] Issue #12094: 8.1.23 tag missing from GitHub | ||
| Groups: | php.bugs | ||
| Request: | Send a blank email to php-bugs+get-245304@lists.php.net to get a copy of this message | ||
Issue: https://github.com/php/php-src/issues/12094
Author: dzuelke
### Description
Release is announced: https://www.php.net/archive/2023.php#2023-08-31-3,
but the tag isn't there.
/cc @patrickallaert (since you signed it 🤗)
### PHP Version
PHP 8.1.23
### Operating System
_No response_