Merge "LogPager: Add IGNORE INDEX to avoid MariaDB optimizer bug"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Tue, 24 Sep 2019 17:41:06 +0000 (17:41 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Tue, 24 Sep 2019 17:41:06 +0000 (17:41 +0000)
commit4cbdbadf4bbb6638228218857b0519f2b19e4799
tree17ab49963c88517108caddc6fc8ef2305f848960
parent2830ba44993372a803b0e254dccdcb7fb736263c
parentc0ea9c285d6502d55df20e8a663ca6191a4bfdcd
Merge "LogPager: Add IGNORE INDEX to avoid MariaDB optimizer bug"