mirror of
https://github.com/MariaDB/server.git
synced 2025-01-20 05:52:27 +01:00
97ae03bf52
for indexes of InnoDB table Fixes by replacing the PRNG that is used to pick random pages with a better one. Also adds a configuration option "innodb_use_legacy_cardinality_algorithm" to enable the fix only when the option is set. This patch is from http://bugs.mysql.com/file.php?id=11789 |
||
|---|---|---|
| .. | ||
| Makefile.am | ||
| page0cur.c | ||
| page0page.c | ||