From ff7286800f36c85c060b9df83809bb3569702697 Mon Sep 17 00:00:00 2001
From: Philipp Wendler <uni@philippwendler.de>
Date: Mon, 11 Feb 2019 11:37:20 +0100
Subject: [PATCH] Release 1.18

---
 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 bcdb76701..78cdee761 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.18-dev'
+__version__ = '1.18'
 
 class BenchExecException(Exception):
     pass
diff --git a/debian/changelog b/debian/changelog
index fb63dff6e..e855e69e0 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,3 +1,9 @@
+benchexec (1.18-1) bionic; urgency=medium
+
+  * New upstream version.
+
+ -- Philipp Wendler <debian@philippwendler.de>  Mon, 11 Feb 2019 11:37:20 +0100
+
 benchexec (1.17-1) bionic; urgency=medium
 
   * New upstream version.