PHP-7.2 branch is closed

Hi,

See: https://www.php.net/supported-versions.php

PHP-7.2.26 is branched and will be the last 7.2 bugfix release

PHP-7.2 now enters security support for 1 year

Remi