Release 3.10

sosy-lab · Nov 23, 2021 · 4e8716b · 4e8716b
1 parent be004c1
commit 4e8716b
Show file tree

Hide file tree

Showing 2 changed files with 7 additions and 1 deletion.
diff --git a/benchexec/__init__.py b/benchexec/__init__.py
@@ -34,7 +34,7 @@
 Variables ending with "tag" contain references to XML tag objects created by the XML parser.
 """
 
-__version__ = "3.10-dev"
+__version__ = "3.10"
 
 
 class BenchExecException(Exception):  # noqa: N818 backwards compatibility

diff --git a/debian/changelog b/debian/changelog
@@ -1,3 +1,9 @@
+benchexec (3.10-1) focal; urgency=medium
+
+  * New upstream version.
+
+ -- Philipp Wendler <[email protected]>  Tue, 23 Nov 2021 09:37:41 +0100
+
 benchexec (3.9-1) focal; urgency=medium
 
   * New upstream version.