mirror of
https://github.com/MariaDB/server.git
synced 2025-12-18 10:22:14 +03:00
Problem was when calculating the range of partitions for pruning. Solution was to get the calculation correct. I also simplified it a bit for easier understanding.
49 KiB
49 KiB