PHP 7.3.1 Released

The PHP development team announces the immediate availability of PHP 7.3.1. This is a security release which also contains several bug fixes.

All PHP 7.3 users are encouraged to upgrade to this version.