From 8c7b6f2b3153d44828b0e1c603f15a7f42328484 Mon Sep 17 00:00:00 2001
From: Jos de Jong <wjosdejong@gmail.com>
Date: Sat, 5 Oct 2019 21:46:56 +0200
Subject: [PATCH] Update history

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

diff --git a/HISTORY.md b/HISTORY.md
index 733d230..670dbe0 100644
--- a/HISTORY.md
+++ b/HISTORY.md
@@ -6,6 +6,7 @@ https://github.com/josdejong/jsoneditor
 ## not yet published, version 7.0.5
 
 - Upgraded dependencies: `vanilla-picker@2.10.0`.
+- Minor documentation improvements. Thanks @slash-arun.
 - Minor styling fixes.