This website requires JavaScript.
Explore
Help
Sign in
mirror
/
mariadb
Watch
1
Star
0
Fork
You've already forked mariadb
0
mirror of
https://github.com/MariaDB/server.git
synced
2026-05-16 03:47:17 +02:00
Code
Issues
Projects
Releases
Packages
Wiki
Activity
179,968
commits
3,590
branches
380
tags
1.7
GiB
b0269816a5
Commit graph
1 commit
Author
SHA1
Message
Date
Varun Gupta
7703095d2e
MDEV-12458: Variable and log records to indicate RocksDB version are missing
...
Added a system variabe rocsdb_git_hash to MyRocks which tell us the version of RocksDB being used
2017-12-31 21:58:50 +02:00