Merge "Add primary key to change_tag and tag_summary tables"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Mon, 3 Oct 2016 01:08:44 +0000 (01:08 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Mon, 3 Oct 2016 01:08:44 +0000 (01:08 +0000)
commit2b16c96cea8f91e2fe9ab157010d6b5168e9b6c5
tree314013ef3f17d9fa2c3cac5c111d41f752b480c5
parent6b30e44d63b2f237b8586be98d758bed28884a69
parentd0a0e9b417884bd0d9232e77e1ef81c670c82f3e
Merge "Add primary key to change_tag and tag_summary tables"