From 44d67d81b2a9ed5731d2bbfdf56d591ff3046ab5 Mon Sep 17 00:00:00 2001
From: Xavier Leroy <xavier.leroy@college-de-france.fr>
Date: Mon, 10 Jul 2023 19:08:24 +0200
Subject: [PATCH] Update for release 3.13

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

diff --git a/VERSION b/VERSION
index a3233349b7..1d99ed7066 100644
--- a/VERSION
+++ b/VERSION
@@ -1,4 +1,4 @@
-version=3.12
+version=3.13
 buildnr=
 tag=
 branch=