diff options
author | Daniel Baumann <daniel.baumann@progress-linux.org> | 2024-04-13 13:40:19 +0000 |
---|---|---|
committer | Daniel Baumann <daniel.baumann@progress-linux.org> | 2024-04-13 13:40:19 +0000 |
commit | cd0a68dfedcff3b0ef67e60786df0f4c84bcadef (patch) | |
tree | b19a4d37ac06da4223d8a1201d959d8969d910ed /debian/patches/rocksdb-kfreebsd.patch | |
parent | Adding debian version 1:10.11.7-2. (diff) | |
download | mariadb-cd0a68dfedcff3b0ef67e60786df0f4c84bcadef.tar.xz mariadb-cd0a68dfedcff3b0ef67e60786df0f4c84bcadef.zip |
Adding debian version 1:10.11.7-3.debian/1%10.11.7-3
Signed-off-by: Daniel Baumann <daniel.baumann@progress-linux.org>
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 |