1
0
mirror of https://github.com/MariaDB/server.git synced 2025-11-25 17:25:02 +03:00
Files
mariadb/mysql-test/suite
Aleksey Midenkov 6a490ca0fb MDEV-18501 Partition pruning doesn't work for historical queries (fix)
Pruning fix for SYSTEM_TIME INTERVAL partitioning.

Allocating one more element in range_int_array for CURRENT partition
is required for RANGE pruning to work correctly
(get_partition_id_range_for_endpoint()).
2019-09-01 14:04:25 +03:00
..
2019-08-29 12:00:12 +03:00
2019-08-21 15:23:45 +03:00
2019-08-21 15:23:45 +03:00
2019-08-28 10:18:41 +03:00
2019-07-26 22:42:35 +02:00
2019-08-28 10:18:41 +03:00
2019-06-19 08:56:10 +03:00
2019-08-21 15:23:45 +03:00