1
0
mirror of https://github.com/MariaDB/server.git synced 2025-07-30 16:24:05 +03:00

5.5 merge

This commit is contained in:
Sergei Golubchik
2014-02-25 16:04:35 +01:00
1431 changed files with 5960 additions and 2173 deletions

View File

@ -173,6 +173,7 @@ my @DEFAULT_SUITES= qw(
handler-
heap-
innodb-
innodb_zip-
maria-
multi_source-
optimizer_unfixed_bugs-