From: Yi Wu <yiwu@fb.com>
Date: Wed, 20 Jun 2018 19:22:32 +0000 (-0700)
Subject: Update HISTORY.md for 5.14.1
X-Git-Tag: v5.14.2~8
X-Git-Url: http://git-server-git.apps.pok.os.sepia.ceph.com/?a=commitdiff_plain;h=66d2c15e00fae624066f6b9be97efc95b5a3adf3;p=rocksdb.git

Update HISTORY.md for 5.14.1
---

diff --git a/HISTORY.md b/HISTORY.md
index 74b3027a..478293af 100644
--- a/HISTORY.md
+++ b/HISTORY.md
@@ -2,6 +2,7 @@
 ## 5.14.1 (6/20/2018)
 ### Bug Fixes
 * Fix block-based table reader pinning blocks throughout its lifetime, causing memory usage increase.
+* Fix bug with prefix search in partition filters where a shared prefix would be ignored from the later partitions. The bug could report an eixstent key as missing. The bug could be triggered if prefix_extractor is set and partition filters is enabled.
 
 ## 5.14.0 (5/16/2018)
 ### Public API Change