[web-php] PR #772: Use abbreviated month names
| From: | captn3m0 | Date: | Sat, 01 Jul 2023 12:03:25 +0000 |
| Subject: | [web-php] PR #772: Use abbreviated month names | ||
| Groups: | php.webmaster | ||
| Request: | Send a blank email to php-webmaster+get-30903@lists.php.net to get a copy of this message | ||