Updated history

This commit is contained in:
jos 2017-12-24 13:33:13 +01:00
parent 14f0956d7a
commit 679a966d15
1 changed files with 6 additions and 0 deletions

View File

@ -3,6 +3,12 @@
https://github.com/josdejong/jsoneditor https://github.com/josdejong/jsoneditor
## not yet released, version 5.12.1
- Fixed #494: properties not escaped in the navigation bar.
Thanks @meirotstein.
## 2017-12-18, version 5.12.0 ## 2017-12-18, version 5.12.0
- Implemented #482: Include `caseSensitive` option for autocomplete. - Implemented #482: Include `caseSensitive` option for autocomplete.