Release 0.4

PhilippWendler · PhilippWendler · commit 106bb32c333c · 2015-06-03T17:07:23.000+02:00
diff --git a/benchexec/__init__.py b/benchexec/__init__.py
@@ -60,7 +60,7 @@
 Variables ending with "tag" contain references to XML tag objects created by the XML parser.
 """
 
-__version__ = '0.4-dev'
+__version__ = '0.4'
 
 class BenchExec(object):
     """
