diff options
Diffstat (limited to 'debian/patches/rocksdb-kfreebsd.patch')
| -rw-r--r-- | debian/patches/rocksdb-kfreebsd.patch | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/debian/patches/rocksdb-kfreebsd.patch b/debian/patches/rocksdb-kfreebsd.patch index da15484b..2b7f2d92 100644 --- a/debian/patches/rocksdb-kfreebsd.patch +++ b/debian/patches/rocksdb-kfreebsd.patch @@ -1,4 +1,5 @@ Forwarded: https://github.com/facebook/rocksdb/pull/6992 +# Merged in RocksDB 6.12.6 but not updated into MariaDB yet From: Andrew Kryczka <andrewkr@fb.com> Date: Tue, 16 Jun 2020 19:34:21 -0700 # Merged in RocksDB 6.13.fb, but not updated into MariaDB yet |