chore: publish v10.1.2

josdejong · josdejong · commit bd00c079a5d0 · 2024-12-18T09:07:01.000+01:00
diff --git a/HISTORY.md b/HISTORY.md
@@ -2,10 +2,10 @@
 
 <https://github.com/josdejong/jsoneditor>
 
-## not yet published, version 10.1.2
+## 2024-12-18, version 10.1.2
 
 - Fix: #1637 remove `mobius1-selectr` from the list with dependencies to get 
-  rid of a security vulnerability in its docs
+  rid of a security vulnerability in its docs.
 
 ## 2024-11-13, version 10.1.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": "10.1.1",
+  "version": "10.1.2",
   "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": "10.1.1",`
	`3`	`+ "version": "10.1.2",`
`4`	`4`	`"main": "./dist/jsoneditor.min.js",`
`5`	`5`	`"description": "A web-based tool to view, edit, format, and validate JSON",`
`6`	`6`	`"tags": [`