From 6fe487a667f920d143ce246b73fa318ca3b0935d Mon Sep 17 00:00:00 2001
From: edgelessci <edgelessci@users.noreply.github.com>
Date: Tue, 14 Nov 2023 08:03:55 +0000
Subject: [PATCH] chore: update version.txt to v2.13.0

---
 version.txt | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/version.txt b/version.txt
index 5ec5d1ec3..c757c9824 100644
--- a/version.txt
+++ b/version.txt
@@ -1 +1 @@
-v2.13.0-pre
+v2.13.0