mirror of
https://github.com/MariaDB/server.git
synced 2026-05-10 09:04:29 +02:00
4610c13a24
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 | ||