Release 3.7.2
diff --git a/version.txt b/version.txt
index a76ccff..0b2eb36 100644
--- a/version.txt
+++ b/version.txt
@@ -1 +1 @@
-3.7.1
+3.7.2