From 7afe8f01b28e82e3fbc78b153a70ce3987298fd7 Mon Sep 17 00:00:00 2001
From: GitHub Actions Bot
 <41898282+github-actions[bot]@users.noreply.github.com>
Date: Fri, 19 Jul 2024 14:39:15 +0000
Subject: [PATCH] Update version file to 0.13.0-dev

---
 VERSION | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/VERSION b/VERSION
index d33c3a2128..6be20912f4 100644
--- a/VERSION
+++ b/VERSION
@@ -1 +1 @@
-0.12.0
\ No newline at end of file
+0.13.0-dev