Merge "composer: Correct PHP version requirement from 7.0 to 7.2 once CI lets us...
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Thu, 10 Oct 2019 19:31:42 +0000 (19:31 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Thu, 10 Oct 2019 19:31:42 +0000 (19:31 +0000)
commitbb2e73ccf376f4f3a78d02104805af7c7aa80e45
tree570a74b9ad8bad9d9d74951377a8affc6ac058b7
parent377a5bd60d3854ab81df4c24bd3a3cdb18f4e241
parent57f7e670dbb4edc308b13d2cb624517b2ed4fde9
Merge "composer: Correct PHP version requirement from 7.0 to 7.2 once CI lets us" into REL1_34