diff --git a/HISTORY.md b/HISTORY.md
index b8ba416..06f8873 100644
--- a/HISTORY.md
+++ b/HISTORY.md
@@ -3,7 +3,7 @@
 https://github.com/josdejong/jsoneditor
 
 
-## not yet published, version 7.2.0
+## 2019-10-23, version 7.2.0
 
 - Implemented Japanese translation (`ja`). Thanks @yutakiyama.
 - Implemented French translation (`fr-FR`), and some improvements in the
diff --git a/package-lock.json b/package-lock.json
index 69cc1cd..a779bf6 100644
--- a/package-lock.json
+++ b/package-lock.json
@@ -1,6 +1,6 @@
 {
   "name": "jsoneditor",
-  "version": "7.1.0",
+  "version": "7.2.0",
   "lockfileVersion": 1,
   "requires": true,
   "dependencies": {
diff --git a/package.json b/package.json
index acb29a3..aae02ab 100644
--- a/package.json
+++ b/package.json
@@ -1,6 +1,6 @@
 {
   "name": "jsoneditor",
-  "version": "7.1.0",
+  "version": "7.2.0",
   "main": "./index",
   "description": "A web-based tool to view, edit, format, and validate JSON",
   "tags": [