From dd192de18b2559e1ca5bcf09fefe23f53aa01279 Mon Sep 17 00:00:00 2001
From: Laurens Valk <laurens@pybricks.com>
Date: Tue, 30 Jan 2024 16:51:02 +0100
Subject: [PATCH] npm/jedi: v1.13.0

---
 npm/jedi/CHANGELOG.md | 8 ++++++++
 npm/jedi/build.py     | 4 ++--
 2 files changed, 10 insertions(+), 2 deletions(-)

diff --git a/npm/jedi/CHANGELOG.md b/npm/jedi/CHANGELOG.md
index 34d88b2e..837bf6a7 100644
--- a/npm/jedi/CHANGELOG.md
+++ b/npm/jedi/CHANGELOG.md
@@ -4,6 +4,14 @@
 
 ## Unreleased
 
+## 1.13.0 - 2024-01-30
+
+### Changed
+- Updated `pybricks_jedi` Python package to v1.13.0.
+
+### Changed
+- Updated `pybricks_jedi` Python package to v1.12.0.
+
 ## 1.12.0 - 2023-11-24
 
 ### Changed
diff --git a/npm/jedi/build.py b/npm/jedi/build.py
index 09975f8f..c4830d61 100755
--- a/npm/jedi/build.py
+++ b/npm/jedi/build.py
@@ -12,7 +12,7 @@
 
 package_json = {
     "name": "@pybricks/jedi",
-    "version": "1.12.0",
+    "version": "1.13.0",
     "description": "Binary distribution of pybricks-jedi Python package and dependencies for use with Pyodide.",
     "repository": {
         "type": "git",
@@ -38,7 +38,7 @@
         "pip",
         "download",
         "--only-binary=any",
-        "pybricks-jedi==1.12.0",
+        "pybricks-jedi==1.13.0",
     ],
     cwd=BUILD_DIR,
 )