From da26baec0ce4f927a64056b67a30a9f60ec4841b Mon Sep 17 00:00:00 2001
From: jos <wjosdejong@gmail.com>
Date: Sun, 10 Dec 2017 15:05:58 +0100
Subject: [PATCH] Update history

---
 HISTORY.md | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/HISTORY.md b/HISTORY.md
index fa712c2..bb38085 100644
--- a/HISTORY.md
+++ b/HISTORY.md
@@ -3,6 +3,12 @@
 https://github.com/josdejong/jsoneditor
 
 
+## not yet released, version 5.13.0
+
+- Implemented #482: Include `caseSensitive` option for autocomplete.
+  Thanks @israelito3000.
+
+
 ## 2017-11-22, version 5.11.0
 
 - Upgraded dependencies