Release 1.8

PhilippWendler · PhilippWendler · commit b52e6a5c0f3a · 2016-02-05T14:33:37.000+01:00
diff --git a/benchexec/__init__.py b/benchexec/__init__.py
@@ -49,4 +49,4 @@
 # prepare for Python 3
 from __future__ import absolute_import, division, print_function, unicode_literals
 
-__version__ = '1.8-dev'
+__version__ = '1.8'
diff --git a/debian/changelog b/debian/changelog
@@ -1,3 +1,9 @@
+benchexec (1.8-1) trusty; urgency=medium
+
+  * New upstream version.
+
+ -- Philipp Wendler <debian@philippwendler.de>  Fri, 05 Feb 2016 14:33:37 +0100
+
 benchexec (1.7-1) trusty; urgency=medium
 
   * New upstream version.
