diff --git a/GIT-VERSION-GEN b/GIT-VERSION-GEN
index 82fd72652b6d35837b8786005024263ac61630dd..e88f50cafb5dcb4cd2f4d183a53382ccc84b91a7 100755 (executable)
--- a/GIT-VERSION-GEN
+++ b/GIT-VERSION-GEN
#!/bin/sh
GVF=GIT-VERSION-FILE
-DEF_VER=v1.7.1
+DEF_VER=v1.7.2
LF='
'