From: Siying Dong <siying.d@fb.com>
Date: Wed, 8 Feb 2017 19:28:31 +0000 (-0800)
Subject: Update HISTORY.md for wrong release date
X-Git-Tag: rocksdb-5.1.3~6
X-Git-Url: http://git-server-git.apps.pok.os.sepia.ceph.com/?a=commitdiff_plain;h=00c6c53fc8c48bbe99ac225dd2b4e6d70cfb1913;p=rocksdb.git

Update HISTORY.md for wrong release date
---

diff --git a/HISTORY.md b/HISTORY.md
index 340d02e6..7215b51b 100644
--- a/HISTORY.md
+++ b/HISTORY.md
@@ -1,5 +1,5 @@
 # Rocksdb Change Log
-## 5.1.0 (01/13/2016)
+## 5.1.0 (01/13/2017)
 ### Public API Change
 * Support dynamically change `delete_obsolete_files_period_micros` option via SetDBOptions().
 * Added EventListener::OnExternalFileIngested which will be called when IngestExternalFile() add a file successfully.