From 672b16eb7930c339c66f89fbdc90f1a3482332b0 Mon Sep 17 00:00:00 2001
From: Jos de Jong <wjosdejong@gmail.com>
Date: Mon, 17 Feb 2025 15:33:12 +0100
Subject: [PATCH] chore: publish `v10.1.3`

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

diff --git a/HISTORY.md b/HISTORY.md
index 8e55dcdd..f83d375c 100644
--- a/HISTORY.md
+++ b/HISTORY.md
@@ -2,6 +2,11 @@
 
 <https://github.com/josdejong/jsoneditor>
 
+## 2025-02-17, version 10.1.3
+
+- Fix: #1643 handle `true` property value in a JSON Schema (#1644). 
+  Thanks @joshkel.
+
 ## 2024-12-18, version 10.1.2
 
 - Fix: #1637 remove `mobius1-selectr` from the list with dependencies to get 
diff --git a/package-lock.json b/package-lock.json
index 49b1203f..8c086c9a 100644
--- a/package-lock.json
+++ b/package-lock.json
@@ -1,12 +1,12 @@
 {
   "name": "jsoneditor",
-  "version": "10.1.2",
+  "version": "10.1.3",
   "lockfileVersion": 3,
   "requires": true,
   "packages": {
     "": {
       "name": "jsoneditor",
-      "version": "10.1.2",
+      "version": "10.1.3",
       "license": "Apache-2.0",
       "dependencies": {
         "ace-builds": "^1.36.2",
diff --git a/package.json b/package.json
index 1514a340..3865646e 100644
--- a/package.json
+++ b/package.json
@@ -1,6 +1,6 @@
 {
   "name": "jsoneditor",
-  "version": "10.1.2",
+  "version": "10.1.3",
   "main": "./dist/jsoneditor.min.js",
   "description": "A web-based tool to view, edit, format, and validate JSON",
   "tags": [