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-07-18 23:03:28 +03:00
Code
Activity
186,809
Commits
3,115
Branches
357
Tags
79ed33c184e6e2a7d3796a16e29bbe7417610366
Commit Graph
2 Commits
Author
SHA1
Message
Date
Sergei Golubchik
beb2422ad8
cleanup: @@mutex_deadlock_detector -> @@debug_mutex_deadlock_detector
2014-10-10 22:27:42 +02:00
unknown
5da52cd108
Some after-merge fixes for 5.5 merge.
2011-10-25 12:53:40 +02:00