From 9d2067f2816bba1369fa3fd2b4188bd6aff11a62 Mon Sep 17 00:00:00 2001
From: jos <wjosdejong@gmail.com>
Date: Sun, 1 Dec 2019 10:26:42 +0100
Subject: [PATCH] Publish `v7.3.1`

---
 HISTORY.md        | 7 ++++---
 package-lock.json | 2 +-
 package.json      | 2 +-
 3 files changed, 6 insertions(+), 5 deletions(-)

diff --git a/HISTORY.md b/HISTORY.md
index d123534..b0feec8 100644
--- a/HISTORY.md
+++ b/HISTORY.md
@@ -3,10 +3,11 @@
 https://github.com/josdejong/jsoneditor
 
 
-## not yet published, version 7.3.1
+## 2019-12-01, version 7.3.1
 
-- Fixed #855: `onFocus` and `onBlur` not working in text mode 
-  without main menu bar, and `.destroy()` throwing an exception.
+- Fixed #855: `onFocus` and `onBlur` not working in modes `text` and `code` 
+  when editor was created without main menu bar, and `editor.destroy()` 
+  throwing an exception.
 
 
 ## 2019-11-27, version 7.3.0
diff --git a/package-lock.json b/package-lock.json
index ef40b47..9d895e0 100644
--- a/package-lock.json
+++ b/package-lock.json
@@ -1,6 +1,6 @@
 {
   "name": "jsoneditor",
-  "version": "7.3.0",
+  "version": "7.3.1",
   "lockfileVersion": 1,
   "requires": true,
   "dependencies": {
diff --git a/package.json b/package.json
index 91158da..0479fc9 100644
--- a/package.json
+++ b/package.json
@@ -1,6 +1,6 @@
 {
   "name": "jsoneditor",
-  "version": "7.3.0",
+  "version": "7.3.1",
   "main": "./index",
   "description": "A web-based tool to view, edit, format, and validate JSON",
   "tags": [