Merge "LogPager: Add IGNORE INDEX to avoid MariaDB optimizer bug"