From 00c6c53fc8c48bbe99ac225dd2b4e6d70cfb1913 Mon Sep 17 00:00:00 2001 From: Siying Dong Date: Wed, 8 Feb 2017 11:28:31 -0800 Subject: [PATCH] Update HISTORY.md for wrong release date --- HISTORY.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/HISTORY.md b/HISTORY.md index 340d02e63..7215b51be 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.