Merge "maintenance/populateChangeTagDef.php: Handle missing valid_tags table"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 14 Aug 2019 19:25:54 +0000 (19:25 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 14 Aug 2019 19:25:54 +0000 (19:25 +0000)
commit13ded85035c9cd78c21a7deb2450cb900cf0357b
tree27aad0957d9f68d996b729e43cfa612b97a4c66b
parent3d1c78c5f80857fd59d4654dd8a3b4e43aa250e2
parentc910b9b43a65ba14b8d1775b202b5eac63322171
Merge "maintenance/populateChangeTagDef.php: Handle missing valid_tags table"