Merge commit '0ca5fea0cc893684982894e474a00176853535e6' into cweiske

[contagged] / VERSION

diff --git a/VERSION b/VERSION
index bd73f47072b1fe4b9914ec14a7f6d47fcc8f816a..7486fdbc50b3f93d9d04db440483984df5d1dcce 100644 (file)
--- a/VERSION
+++ b/VERSION
@@ -1 +1 @@
-0.4
+0.7.2