From: Andrew Kryczka <andrewkr@fb.com>
Date: Thu, 24 May 2018 04:01:42 +0000 (-0700)
Subject: bump version to 5.13.2 and update HISTORY
X-Git-Tag: v5.13.2~3
X-Git-Url: http://git-server-git.apps.pok.os.sepia.ceph.com/?a=commitdiff_plain;h=1c18482bbfd5f58a6d98c07fa667b3d175a243e3;p=rocksdb.git

bump version to 5.13.2 and update HISTORY
---

diff --git a/HISTORY.md b/HISTORY.md
index 3010c0c5..76bcabee 100644
--- 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 0ef913df..c98200ac 100644
--- 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