1
0
mirror of https://github.com/MariaDB/server.git synced 2025-07-27 18:02:13 +03:00

MWL#116: After-review fixes.

Also implement the InnoDB changes for group commit into innodb_plugin.
This commit is contained in:
unknown
2011-04-07 13:55:18 +02:00
parent e3affa2a9a
commit 7f650d4be5
23 changed files with 171 additions and 142 deletions

View File

@ -0,0 +1 @@
--skip-stack-trace --skip-core-file