1
0
mirror of https://github.com/MariaDB/server.git synced 2025-09-11 05:52:26 +03:00
Files
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
..
2019-06-15 21:29:46 +03:00
2016-10-06 17:24:09 +00:00
2019-05-30 17:18:24 +04:00
2019-05-30 17:18:24 +04:00
2019-05-30 17:18:24 +04:00
2019-05-30 17:18:24 +04:00
2017-02-06 17:39:08 +00:00
2016-10-06 17:24:09 +00:00
2019-06-16 00:28:33 +03:00