new revision for dev build

7 years ago · f45361fa56
1 changed files with 1 additions and 1 deletions
--- a/dist/version
+++ b/dist/version
@ -1 +1 @@
-1.3.7.1
+1.3.7.2