From f5da46d2cc25a54f4b840093f9b80a94f952e5c1 Mon Sep 17 00:00:00 2001
From: jos <wjosdejong@gmail.com>
Date: Mon, 8 Jan 2018 20:42:31 +0100
Subject: [PATCH] Updated history

---
 HISTORY.md | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

diff --git a/HISTORY.md b/HISTORY.md
index 795a306..3823bdd 100644
--- 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.