Publish v7.2.0

2019-10-23 14:24:09 +02:00 · 2019-10-23 14:24:09 +02:00 · b0fc57ccef
parent 626d3959c9
commit b0fc57ccef
3 changed files with 3 additions and 3 deletions
--- 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
--- 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": {
--- 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": [