From e2d63f6628592af8383f1447143a49b072bcf90e Mon Sep 17 00:00:00 2001
From: Paul Zimmermann <Paul.Zimmermann@inria.fr>
Date: Thu, 4 Jul 2024 09:36:55 +0200
Subject: [PATCH] added tag for 7.0.6
---
README.dev | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/README.dev b/README.dev
index 60033d4e..27713c15 100644
--- a/README.dev
+++ b/README.dev
@@ -111,7 +111,7 @@ To make a new release:
7.0.3 r2963 ee145f2
7.0.4 r2991 fcc8509
7.0.5 0ab79ad
- 7.0.6
+ 7.0.6 0befa9a
10) increase the version number in configure.ac and build.vs/gen_ecm_h.bat,
and switch assertions to on by default in configure.ac.
--
GitLab