This website requires JavaScript.
Explore
Help
Sign In
database
/
mariadb
Watch
1
Star
0
Fork
0
You've already forked mariadb
mirror of
https://github.com/MariaDB/server.git
synced
2025-12-24 11:21:21 +03:00
Code
Activity
Files
15c73c8b4a4eb9f515a4cf5893cac4c776d6befa
mariadb
/
mysql-test
/
suite
/
innodb
History
Marko Mäkelä
15c73c8b4a
Flush crash-unsafe tables before killing the server
2017-07-05 10:08:48 +03:00
..
include
Merge 10.1 into 10.2
2017-05-22 09:46:51 +03:00
r
Flush crash-unsafe tables before killing the server
2017-07-05 10:08:48 +03:00
t
Flush crash-unsafe tables before killing the server
2017-07-05 10:08:48 +03:00
disabled.def
Disable the innodb_defragment tests until MDEV-11336 is done
2017-05-08 22:06:32 +03:00