PHP 7.3.12

On PHP,net it show 7.3.12 as the current version of PHP 7.3. In the Nov. 30th v84.0.14 update, the PHP was not update to this current version. So when do new versions of PHP get updated?