Updated history

2017-12-28 16:18:46 +01:00 · 2017-12-28 16:18:46 +01:00 · 50c6a3ac9f
parent 43832dd532
commit 50c6a3ac9f
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.1
+
+- Fixed another occurrence of #494: properties not escaped in the
+  navigation bar.
+
+
 ## 2017-12-28, version 5.13.0

 - Implemented cursor position in text mode. Thanks @meirotstein.