From 9402aa8c73914f91a699fb1b336dbb8a42e2a33c Mon Sep 17 00:00:00 2001
From: TypeDB Bot <bot@typedb.com>
Date: Thu, 30 Jan 2025 09:37:30 +0000
Subject: [PATCH] Update TypeDB Core version to
 5de67c259079a05ee0e444a58ee0f9b9aaad5a8b

---
 tool/typedb3/config.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tool/typedb3/config.sh b/tool/typedb3/config.sh
index 78465451..7d97d536 100755
--- a/tool/typedb3/config.sh
+++ b/tool/typedb3/config.sh
@@ -1,4 +1,4 @@
 set -eu
 
-SERVER_VERSION=3a5fe020b18839b8b24d6a5a21e35ce55430086d
+SERVER_VERSION=5de67c259079a05ee0e444a58ee0f9b9aaad5a8b
 DRIVER_VERSION="0.0.0+eac383ef8dd4b61dd779c36b32785a48b67807d7"