Update history for 5.17.2 release

diff --git a/HISTORY.md b/HISTORY.md
index 0648814fd13f1bca41461245b33d93d27c1e03da..8c20703967b566342bc72f6377c5be5a7c7a4577 100644 (file)
--- 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