mirror of
https://github.com/MariaDB/server.git
synced 2025-08-31 22:22:30 +03:00
since previous merge. MARIA_PAGECACHE_READS in maria-preload.test are down a little bit (5%), which must be a good side-effect of some sql/ change.