From 0f080252bd58a7de956e9f200ebe91004d1cf2f9 Mon Sep 17 00:00:00 2001
From: David Robertson <davidr@element.io>
Date: Mon, 5 Sep 2022 11:20:40 +0100
Subject: [PATCH] Changelog

---
 changelog.d/13712.misc | 1 +
 1 file changed, 1 insertion(+)
 create mode 100644 changelog.d/13712.misc

diff --git a/changelog.d/13712.misc b/changelog.d/13712.misc
new file mode 100644
index 000000000000..2c4f6b19f6f6
--- /dev/null
+++ b/changelog.d/13712.misc
@@ -0,0 +1 @@
+Fix typechecking with latest types-jsonschema.