Merge "Prefix comment table when adding indexes"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 30 Aug 2017 16:54:12 +0000 (16:54 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 30 Aug 2017 16:54:12 +0000 (16:54 +0000)
commitc5387741ed2a888a8dad89ce30cd8e717792c161
tree778e831cc00831709760e269406563b4243e9132
parent9bd7c7f66058fe26e130759090e7a73beee4d3d0
parentf0f839c969184660aa55a03e7a81fabe887aebc9
Merge "Prefix comment table when adding indexes"