Magento 2.3 system requirements says it supports PHP 7.1.3+, but this excludes 7.1.0, 7.1.1 and 7.1.2 versions:
https://devdocs.magento.com/guides/v2.3/install-gde/system-requirements-tech.html
Is it a mistake or is there any reason why the 3 previous minor versions are excluded?
Thanks.