chore: publish v10.1.3

josdejong · Feb 17, 2025 · 672b16e · 672b16e
1 parent ed8a1bd
commit 672b16e
Show file tree

Hide file tree

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