Merge "Clean up ar_usertext_timestamp index mess"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Thu, 26 Sep 2019 19:41:56 +0000 (19:41 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Thu, 26 Sep 2019 19:41:56 +0000 (19:41 +0000)
commit398d8e843a72c39c21f6c74e4f43fda413858a13
treeee142f7d4226372a3791f5b60e09bb335b5db21a
parent749f56f0b3cc9feebf6c7bbd778821f55e6f4b7f
parentf45441aaa7dd98b6106a36882d165a12ac9d682e
Merge "Clean up ar_usertext_timestamp index mess"