Release 3.31

PhilippWendler · PhilippWendler · commit 0dc83ed934ef · 2025-11-24T07:16:09.000+01:00
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.31-dev"
+__version__ = "3.31"
 
 
 class BenchExecException(Exception):  # noqa: N818 backwards compatibility
diff --git a/debian/changelog b/debian/changelog
@@ -1,3 +1,9 @@
+benchexec (3.31-1) noble; urgency=medium
+
+  * New upstream version.
+
+ -- Philipp Wendler <debian@philippwendler.de>  Mon, 24 Nov 2025 07:16:09 +0100
+
 benchexec (3.30-1) noble; urgency=medium
 
   * New upstream version.
