If you are just waking up, PHP 7.2.0 is out. Thanks to
@SaraMG
and
@RemiCollet
for the hard work on the release, to the doc team for getting the release notes out in time,
@dstogov
and entire dev team for their tireless and underappreciated work
Go get it: