mirror of
https://github.com/MariaDB/server.git
synced 2025-01-18 04:53:01 +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 | ||
| srv0que.c | ||
| srv0srv.c | ||
| srv0start.c | ||