Publish v9.5.1

josdejong · josdejong · commit eb84c4ec6fdf · 2021-06-30T11:21:59.000+02:00
diff --git a/HISTORY.md b/HISTORY.md
@@ -3,7 +3,7 @@
 https://github.com/josdejong/jsoneditor
 
 
-## not yet published, version 9.5.1
+## 2021-06-30, version 9.5.1
 
 - Upgrade to `jsonrepair@2.2.1`.
 
diff --git a/package-lock.json b/package-lock.json
diff --git a/package.json b/package.json
@@ -1,6 +1,6 @@
 {
   "name": "jsoneditor",
-  "version": "9.5.0",
+  "version": "9.5.1",
   "main": "./dist/jsoneditor.min.js",
   "description": "A web-based tool to view, edit, format, and validate JSON",
   "tags": [

Original file line number	Diff line number	Diff line change
`@@ -1,6 +1,6 @@`
`1`	`1`	`{`
`2`	`2`	`"name": "jsoneditor",`
`3`		`- "version": "9.5.0",`
	`3`	`+ "version": "9.5.1",`
`4`	`4`	`"main": "./dist/jsoneditor.min.js",`
`5`	`5`	`"description": "A web-based tool to view, edit, format, and validate JSON",`
`6`	`6`	`"tags": [`