Merge "build: Update HHVM for Travis to 3.12"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Thu, 23 Feb 2017 02:30:06 +0000 (02:30 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Thu, 23 Feb 2017 02:30:06 +0000 (02:30 +0000)
commitb171822dce3fb662ca96e8fd4be48581c4cd2533
tree6cb1f3d12f8484b47b3498561d2ee905976ab7b3
parent8a65a5486f3da8163c0f8609d696ff6b5a481251
parent67737a267f453bf1cd918276a199378b080ae2a0
Merge "build: Update HHVM for Travis to 3.12"