Bump version to 0.4.1

Guido van Rossum · Guido van Rossum · commit bb1c5df15fe7 · 2016-05-06T17:46:30.000-07:00
diff --git a/mypy/version.py b/mypy/version.py
@@ -1 +1 @@
-__version__ = '0.4.1-dev'
+__version__ = '0.4.1'
