Hello, PHP 7.2 was released today. Currently we only announce support up to 7.1; is that because we don't want to announce support for something that isn't officially released or is QA_4_7 incompatible with PHP 7.2? If it's the former, we should probably quietly bump the version listed on the website download page.