From: Fosco Marotto <fjm@fb.com>
Date: Mon, 12 Nov 2018 19:57:32 +0000 (-0800)
Subject: Update history for 5.17.2 release
X-Git-Tag: v5.17.2^0
X-Git-Url: http://git-server-git.apps.pok.os.sepia.ceph.com/?a=commitdiff_plain;h=f438b98e552010613cff8684a7d84191ed785148;p=rocksdb.git

Update history for 5.17.2 release
---

diff --git a/HISTORY.md b/HISTORY.md
index 0648814f..8c207039 100644
--- a/HISTORY.md
+++ b/HISTORY.md
@@ -1,9 +1,10 @@
 # Rocksdb Change Log
-# Unreleased
+
+# 5.17.2 (10/24/2018)
 ### Bug Fixes
 * Fix the bug that WriteBatchWithIndex's SeekForPrev() doesn't see the entries with the same key.
 
-## 5.17.1 (10/16/2018)
+# 5.17.1 (10/16/2018)
 ### Bug Fixes
 * Fix slow flush/compaction when DB contains many snapshots. The problem became noticeable to us in DBs with 100,000+ snapshots, though it will affect others at different thresholds.
 * Properly set the stop key for a truncated manual CompactRange