chore: publish v10.1.2

josdejong · Dec 18, 2024 · bd00c07 · bd00c07
1 parent c6f055f
commit bd00c07
Show file tree

Hide file tree

Showing 3 changed files with 5 additions and 5 deletions.
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": [