Release 1.9

sosy-lab · May 20, 2016 · ae662e9 · ae662e9
1 parent 7c08ced
commit ae662e9
Show file tree

Hide file tree

Showing 2 changed files with 7 additions and 1 deletion.
diff --git 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.9-dev'
+__version__ = '1.9'
 
 class BenchExecException(Exception):
     pass
diff --git a/debian/changelog b/debian/changelog
@@ -1,3 +1,9 @@
+benchexec (1.9-1) trusty; urgency=medium
+
+  * New upstream version.
+
+ -- Philipp Wendler <[email protected]>  Fri, 20 May 2016 15:24:24 +0200
+
 benchexec (1.8-1) trusty; urgency=medium
 
   * New upstream version.