From bd00c079a5d0727b93b4959e3bc17b259a6ffd90 Mon Sep 17 00:00:00 2001
From: Jos de Jong <wjosdejong@gmail.com>
Date: Wed, 18 Dec 2024 09:07:01 +0100
Subject: [PATCH] chore: publish `v10.1.2`

---
 HISTORY.md        | 4 ++--
 package-lock.json | 4 ++--
 package.json      | 2 +-
 3 files changed, 5 insertions(+), 5 deletions(-)

diff --git a/HISTORY.md b/HISTORY.md
index 75ef0c83..8e55dcdd 100644
--- 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
index aacb3e33..4ff6a764 100644
--- a/package-lock.json
+++ b/package-lock.json
@@ -1,12 +1,12 @@
 {
   "name": "jsoneditor",
-  "version": "10.1.1",
+  "version": "10.1.2",
   "lockfileVersion": 3,
   "requires": true,
   "packages": {
     "": {
       "name": "jsoneditor",
-      "version": "10.1.1",
+      "version": "10.1.2",
       "license": "Apache-2.0",
       "dependencies": {
         "ace-builds": "^1.36.2",
diff --git a/package.json b/package.json
index 2cc4da13..7460b19f 100644
--- 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": [