Merge pull request #17033 from seamuslee001/5.25
authorEileen McNaughton <emcnaughton@wikimedia.org>
Wed, 8 Apr 2020 22:12:09 +0000 (10:12 +1200)
committerGitHub <noreply@github.com>
Wed, 8 Apr 2020 22:12:09 +0000 (10:12 +1200)
commitf69ad491d88b505913470e43b41b8149670f2cb6
tree364c8595588d9c5b801f07c41d9f3c1d1c3ac0ac
parent9e4f1a47c07951afdb77018a4e73b74ffead6c22
parent92303dfea23972175485ae7144aae34e02c634c0
Merge pull request #17033 from seamuslee001/5.25

Revert "temp workaround for dev/core#1675"