mirror of
https://github.com/MariaDB/server.git
synced 2025-11-12 10:22:39 +03:00
optimizer does not honor IGNORE INDEX - Allow an index to be used for sorting the table instead of filesort only if it is not disabled by IGNORE INDEX.
27 KiB
27 KiB