Pull Request: https://github.com/php/web-php/pull/1161
Author: jorgsowa

The version officially announced was 8.4.1, so it's better to skip the patch 
version in the page header.

Reply via email to