mirror/mariadb
1
0
Fork 0
mirror of https://github.com/MariaDB/server.git synced 2026-05-16 20:07:13 +02:00
Code Issues Projects Releases Packages Wiki Activity
194,655 commits 3,591 branches 380 tags 1.7 GiB
Commit graph

4 commits

Author SHA1 Message Date
Marko Mäkelä
e82fe21e3a Merge 10.2 into 10.3 2019-07-02 17:46:22 +03:00
Sergei Petrunia
9ab0d7b4e9 Merge from MyRocks upstream: 
Copy of
    commit dcd9379eb5707bc7514a2ff4d9127790356505cb
    Author: Manuel Ung <mung@fb.com>
    Date:   Fri Jun 14 10:38:17 2019 -0700

        Skip valgrind for rocksdb.force_shutdown

        Summary:
        This test does unclean shutdown, and leaks memory.

        Squash with: D15749084

        Reviewed By: hermanlee

        Differential Revision: D15828957

        fbshipit-source-id: 30541455d74
 2019-06-16 00:28:33 +03:00
Honza Horak
7334f9717d Do not import commands library as it is not used 
Closes #1080
 2019-01-25 20:00:00 +01:00
Sergei Golubchik
2f368bb967 fix RHEL8 "ambiguous python shebang" build failures 2019-01-03 00:23:06 +01:00
Renamed from storage/rocksdb/myrocks_hotbackup (Browse further)