update HISTORY.md and version.h for 6.13.1

diff --git a/HISTORY.md b/HISTORY.md
index c4cd886d6c2fb78595135bdf33119da5563d59e8..54787ec9cd3185a096a8dfe4cdfb31fea168422f 100644 (file)
--- a/HISTORY.md
+++ b/HISTORY.md
@@ -1,5 +1,5 @@
 # Rocksdb Change Log
-## Unreleased
+## 6.13.1 (10/12/2020)
 ### Bug Fixes
 * Since 6.12, memtable lookup should report unrecognized value_type as corruption (#7121).
 * Fixed a bug in the following combination of features: indexes with user keys (`format_version >= 3`), indexes are partitioned (`index_type == kTwoLevelIndexSearch`), and some index partitions are pinned in memory (`BlockBasedTableOptions::pin_l0_filter_and_index_blocks_in_cache`). The bug could cause keys to be truncated when read from the index leading to wrong read results or other unexpected behavior.

diff --git a/include/rocksdb/version.h b/include/rocksdb/version.h
index 454dae9d0e87c87386702e5751445144b3124265..d4fe479e0cd537b30af3281367e0d8656cb35150 100644 (file)
--- a/include/rocksdb/version.h
+++ b/include/rocksdb/version.h
@@ -6,7 +6,7 @@
 
 #define ROCKSDB_MAJOR 6
 #define ROCKSDB_MINOR 13
-#define ROCKSDB_PATCH 0
+#define ROCKSDB_PATCH 1
 
 // Do not use these. We made the mistake of declaring macros starting with
 // double underscore. Now we have to live with our choice. We'll deprecate these