From 5b495f09ab1932f603dc1b1696743cde151e89c5 Mon Sep 17 00:00:00 2001
From: Philipp Wendler <uni@philippwendler.de>
Date: Mon, 2 Oct 2017 16:06:14 +0200
Subject: [PATCH] Release 1.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 c7e307632..600618953 100644
--- a/benchexec/__init__.py
+++ b/benchexec/__init__.py
@@ -49,7 +49,7 @@
# prepare for Python 3
from __future__ import absolute_import, division, print_function, unicode_literals
-__version__ = '1.12-dev'
+__version__ = '1.12'
class BenchExecException(Exception):
pass
diff --git a/debian/changelog b/debian/changelog
index f71228f7b..68055d73f 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,3 +1,9 @@
+benchexec (1.12-1) xenial; urgency=medium
+
+ * New upstream version.
+
+ -- Philipp Wendler <debian@philippwendler.de> Mon, 02 Oct 2017 16:06:14 +0200
+
benchexec (1.11-1) xenial; urgency=medium
* New upstream version.