Merge "Add workaround for HHVM issue 6206"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Fri, 19 May 2017 19:33:48 +0000 (19:33 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Fri, 19 May 2017 19:33:48 +0000 (19:33 +0000)
commit36fd859eefc3b5922d3d6e9fe6031c001d3c147d
tree607211ef8e9cfb0bc2a4af8f96fa2394c140c31f
parent06657e715ae1ca3a9afc602724d0c113713e22c0
parentc2c7452577eb95a5586d1de6f586c28b13ac3951
Merge "Add workaround for HHVM issue 6206"