diff --git a/version.txt b/version.txt
index d69c06de..f8a696c8 100644
--- a/version.txt
+++ b/version.txt
@@ -1 +1 @@
-1.7.2-dev
+1.7.2