From e503dce65952cc84c77ffe2b8dbf070fc4284f7f Mon Sep 17 00:00:00 2001
From: Xavier Leroy <xavier.leroy@college-de-france.fr>
Date: Fri, 13 Dec 2024 13:19:09 +0100
Subject: [PATCH] Bump version number after release

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

diff --git a/VERSION b/VERSION
index a814d7d20c..cb085aaedb 100644
--- a/VERSION
+++ b/VERSION
@@ -1,4 +1,4 @@
-version=3.15
+version=3.16
 buildnr=
 tag=
 branch=