diff --git a/GIT-VERSION-GEN b/GIT-VERSION-GEN
index 82fd72652b6d35837b8786005024263ac61630dd..31d95da4f0adc89466acc62accd90e67cfa0353a 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.1.2
LF='
'