From de6cf95a5383b833c08d88ddb27a5ab125da1634 Mon Sep 17 00:00:00 2001
From: Fosco Marotto <gfosco@gmail.com>
Date: Thu, 22 Mar 2018 14:51:49 -0700
Subject: [PATCH] Update history for future 5.13 release

Summary: Closes https://github.com/facebook/rocksdb/pull/3631

Differential Revision: D7367519

Pulled By: gfosco

fbshipit-source-id: 57826cc1c9ffc9f2b351075567b8ad929809cb74
---
 HISTORY.md                | 8 ++++++++
 include/rocksdb/version.h | 2 +-
 2 files changed, 9 insertions(+), 1 deletion(-)

diff --git a/HISTORY.md b/HISTORY.md
index ce619b1bf..e9688249d 100644
--- a/HISTORY.md
+++ b/HISTORY.md
@@ -1,6 +1,14 @@
 # Rocksdb Change Log
 ## Unreleased
 ### Public API Change
+
+### New Features
+
+### Bug Fixes
+
+
+## 5.13.0 (3/20/2018)
+### Public API Change
 * RocksDBOptionsParser::Parse()'s `ignore_unknown_options` argument will only be effective if the option file shows it is generated using a higher version of RocksDB than the current version.
 * Remove CompactionEventListener.
 
diff --git a/include/rocksdb/version.h b/include/rocksdb/version.h
index ad57fffde..1f1140891 100644
--- a/include/rocksdb/version.h
+++ b/include/rocksdb/version.h
@@ -5,7 +5,7 @@
 #pragma once
 
 #define ROCKSDB_MAJOR 5
-#define ROCKSDB_MINOR 12
+#define ROCKSDB_MINOR 13
 #define ROCKSDB_PATCH 0
 
 // Do not use these. We made the mistake of declaring macros starting with