Update history

2017-12-10 15:05:58 +01:00 · 2017-12-10 15:05:58 +01:00 · da26baec0c
parent 8d0b0c5b89
commit da26baec0c
1 changed files with 6 additions and 0 deletions
--- 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