chore: publish v10.1.3

josdejong · josdejong · commit 672b16eb7930 · 2025-02-17T15:33:12.000+01:00
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": [

Original file line number	Diff line number	Diff line change
`@@ -1,6 +1,6 @@`
`1`	`1`	`{`
`2`	`2`	`"name": "jsoneditor",`
`3`		`- "version": "10.1.2",`
	`3`	`+ "version": "10.1.3",`
`4`	`4`	`"main": "./dist/jsoneditor.min.js",`
`5`	`5`	`"description": "A web-based tool to view, edit, format, and validate JSON",`
`6`	`6`	`"tags": [`