From fa4ab976d19c3fd28c20029d81428ea3a21680ba Mon Sep 17 00:00:00 2001
From: Philipp Wendler <uni@philippwendler.de>
Date: Thu, 21 Jul 2022 15:37:43 +0200
Subject: [PATCH] Release 3.12

---
 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 47172b64b..7f123a678 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.12-dev"
+__version__ = "3.12"
 
 
 class BenchExecException(Exception):  # noqa: N818 backwards compatibility
diff --git a/debian/changelog b/debian/changelog
index 95aa6cb27..db39c0e2a 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,3 +1,9 @@
+benchexec (3.12-1) jammy; urgency=medium
+
+  * New upstream version.
+
+ -- Philipp Wendler <debian@philippwendler.de>  Thu, 21 Jul 2022 15:37:43 +0200
+
 benchexec (3.11-2) impish; urgency=medium
 
   * Build binary package on Ubuntu 20.04 to avoid zst compression.