diff --git a/src/version.txt b/src/version.txt
index ec5bd30..27e23ef 100644
--- a/src/version.txt
+++ b/src/version.txt
@@ -1 +1 @@
-02.71
+02.72