PHP 7.2.0 Release

Just wondering if the newly released PHP 7.2.0 will be packaged soon. Or if there is a command I can run to update it manually. The current version 7.2.0RC6 has a major bug affecting a plugin in all my WordPress sites. Apparently, this is fixed in the new release.

The current versions of PHP 7.0 + 7.1 also have this bug and it was suggested to rollback to 5.6 which is something I do not want to do.