Merge "Convert numerous UNIQUE INDEX to PRIMARY KEY"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 11 Jul 2018 19:52:36 +0000 (19:52 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 11 Jul 2018 19:52:36 +0000 (19:52 +0000)
commit3ceaa6785b06e4f536b8d162e58e909e254f038f
tree7cd6f59a5dbb8b3ecc6b359aab876f3ed06700cb
parent216865344b108082f9500b5eb8cd5efeaa7df72f
parent267d99fa85434c3f26b7c5223cd46c29dedff4e5
Merge "Convert numerous UNIQUE INDEX to PRIMARY KEY"