Switch default PHP version from 7.1 to 7.2 PR: 232398 Reviewed by: joneum Approved by: tz (implicit) Exp-run by: antoine Sponsored by: Netzkommune GmbH
head/Mk/bsd.default-versions.mk
head/UPDATING