diff --git a/version.txt b/version.txt
index 943f9cbc..f8a696c8 100644
--- a/version.txt
+++ b/version.txt
@@ -1 +1 @@
-1.7.1
+1.7.2