mirror/mariadb
1
0
Fork 0
mirror of https://github.com/MariaDB/server.git synced 2025-01-31 02:51:44 +01:00
Code Issues Projects Releases Packages Wiki Activity Actions
88306 commits 2788 branches 343 tags 1.7 GiB
Commit graph

1 commit

Author SHA1 Message Date
Igor Babaev
507410379a Fixed a wrong merge in prune_partitions() 
Added forgotten partition_explicit_prune from mysql-5.6.

Backported the fix for
Bug#13559657: PARTITION SELECTION DOES NOT WORK WITH VIEWS
from mysql-5.6
 2013-07-31 06:45:44 -07:00