From 509ab7e275a641c72d2367ee52249e5eaa245c18 Mon Sep 17 00:00:00 2001
From: jos <wjosdejong@gmail.com>
Date: Sun, 24 Dec 2017 16:53:06 +0100
Subject: [PATCH] Updated history

---
 HISTORY.md | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/HISTORY.md b/HISTORY.md
index e084350..5957793 100644
--- a/HISTORY.md
+++ b/HISTORY.md
@@ -3,8 +3,9 @@
 https://github.com/josdejong/jsoneditor
 
 
-## not yet released, version 5.12.1
+## not yet released, version 5.13.0
 
+- Implemented cursor position in text mode. Thanks @meirotstein.
 - Fixed #494: properties not escaped in the navigation bar.
   Thanks @meirotstein.