From 6b6c6cb2c3901a5a99fb6acc6a111f94e03b4216 Mon Sep 17 00:00:00 2001
From: Jos de Jong <wjosdejong@gmail.com>
Date: Sat, 16 Nov 2019 14:55:36 +0100
Subject: [PATCH] Fix missing date in history

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

diff --git a/HISTORY.md b/HISTORY.md
index 4ec0d1e..856acb6 100644
--- a/HISTORY.md
+++ b/HISTORY.md
@@ -3,7 +3,7 @@
 https://github.com/josdejong/jsoneditor
 
 
-## not yet published, version 7.2.1
+## 2019-10-27, version 7.2.1
 
 - Fixed #826: editor not allowing indentation `0`.
 - Fixed #828: do not expand/collapse when clicking the text of a node