Updated history

josdejong · Jan 8, 2018 · f5da46d · f5da46d
1 parent fbe65d1
commit f5da46d
Showing 1 changed file with 7 additions and 1 deletion.
diff --git a/HISTORY.md b/HISTORY.md
@@ -3,7 +3,13 @@
 https://github.com/josdejong/jsoneditor
 
 
-## 2018-12-18, version 5.13.1
+## not yet released, version 5.13.2
+
+- Fixed view mode opening links in a new tab instead of current tab
+  when Ctrl key is not down. Thanks @LEW21.
+
+
+## 2018-12-28, version 5.13.1
 
 - Fixed another occurrence of #494: properties not escaped in the
   navigation bar.