diff --git a/benchexec/__init__.py b/benchexec/__init__.py index e872a0a0a..7b4a17149 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.23-dev" +__version__ = "3.23" class BenchExecException(Exception): # noqa: N818 backwards compatibility diff --git a/debian/changelog b/debian/changelog index 2b438a862..bb51a1ecf 100644 --- a/debian/changelog +++ b/debian/changelog @@ -1,3 +1,9 @@ +benchexec (3.23-1) jammy; urgency=medium + + * New upstream version. + + -- Philipp Wendler Fri, 28 Jun 2024 13:13:34 +0200 + benchexec (3.22-1) jammy; urgency=medium * New upstream version.