Release 0.7.2
[grauphel.git] / appinfo / version
index 39e898a4f952d339c155a7939d571a5fdd6c8cfc..7486fdbc50b3f93d9d04db440483984df5d1dcce 100755 (executable)
@@ -1 +1 @@
-0.7.1
+0.7.2