Skip to content

Remove --ignore-platform-reqs from PHP 8.0 builds#4203

Merged
morozov merged 1 commit intodoctrine:3.0.xfrom morozov:issues/4200Aug 8, 2020