From 1d679e35fd7eba8e6a83c4330f3c760f94f68b1c Mon Sep 17 00:00:00 2001
From: Yanqin Jin <yanqin@fb.com>
Date: Wed, 5 Dec 2018 16:54:00 -0800
Subject: [PATCH] Update HISTORY.md (#4753)

Summary:
As titled. Update history to include a recent bug fix in
9be3e6b48884c80733fa791b982a02f62a199e92.
Pull Request resolved: https://github.com/facebook/rocksdb/pull/4753

Differential Revision: D13350286

Pulled By: riversand963

fbshipit-source-id: b6324780dee4cb1757bc2209403a08531c150c08
---
 HISTORY.md | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/HISTORY.md b/HISTORY.md
index 74f55033e..429c891db 100644
--- a/HISTORY.md
+++ b/HISTORY.md
@@ -1,5 +1,11 @@
 # Rocksdb Change Log
 ## Unreleased
+### New Features
+
+### Public API Change
+
+### Bug Fixes
+* Fix a deadlock caused by compaction and file ingestion waiting for each other in the event of write stalls.
 
 ## 5.18.0 (11/30/2018)
 ### New Features