bump version to 5.13.2 and update HISTORY

diff --git a/HISTORY.md b/HISTORY.md
index 3010c0c5863d990b0486cf2670a3d70280214f02..76bcabeeff877139e3117e861404171e7e1ffdfc 100644 (file)
--- a/HISTORY.md
+++ b/HISTORY.md
@@ -1,5 +1,5 @@
 # Rocksdb Change Log
-## Unreleased
+## 5.13.2 (5/23/2018)
 ### Public API Change
 * Introduced `CompressionOptions::kDefaultCompressionLevel`, which is a generic way to tell RocksDB to use the compression library's default level. It is now the default value for `CompressionOptions::level`. Previously the level defaulted to -1, which gave poor compression ratios in ZSTD.
 

diff --git a/include/rocksdb/version.h b/include/rocksdb/version.h
index 0ef913df2e477ac76718e64bea3e5f99e8f9f9d5..c98200ac297e07875ca5f0f0afecd95a724958de 100644 (file)
--- a/include/rocksdb/version.h
+++ b/include/rocksdb/version.h
@@ -6,7 +6,7 @@
 
 #define ROCKSDB_MAJOR 5
 #define ROCKSDB_MINOR 13
-#define ROCKSDB_PATCH 1
+#define ROCKSDB_PATCH 2
 
 // 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