From cdc231fe5b2fb9e8be17c1bee97689e63e8d4c34 Mon Sep 17 00:00:00 2001 From: Philipp Wendler Date: Tue, 5 Nov 2024 09:24:24 +0100 Subject: [PATCH] Release 3.26 --- benchexec/__init__.py | 2 +- debian/changelog | 6 ++++++ 2 files changed, 7 insertions(+), 1 deletion(-) diff --git a/benchexec/__init__.py b/benchexec/__init__.py index 7457f0aad..486ce27ff 100644 --- 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.26-dev" +__version__ = "3.26" class BenchExecException(Exception): # noqa: N818 backwards compatibility diff --git a/debian/changelog b/debian/changelog index f50b35895..bec98ec5f 100644 --- a/debian/changelog +++ b/debian/changelog @@ -1,3 +1,9 @@ +benchexec (3.26-1) jammy; urgency=medium + + * New upstream version. + + -- Philipp Wendler Tue, 05 Nov 2024 09:24:24 +0100 + benchexec (3.25-3) jammy; urgency=medium * Fix syntax in debian/rules