diff --git a/version b/version
index 39e898a4f952d339c155a7939d571a5fdd6c8cfc..7486fdbc50b3f93d9d04db440483984df5d1dcce 100644
--- a/version
+++ b/version
@@ -1 +1 @@
-0.7.1
+0.7.2