mirror of
https://github.com/MariaDB/server.git
synced 2025-11-30 05:23:50 +03:00
Typo leading to not including the last list values (partition). Also improved pruning to skip last partition if not used. rb#4762 approved by Aditya and Marko.
55 KiB
55 KiB