Merge branch 'np/diff-in-corrupt-repository' into maint

diff --git a/GIT-VERSION-GEN b/GIT-VERSION-GEN
index 0cbf04373151f8415593824642a28f175e37b642..702306acd2c10d1cbe04c26bf3b89bafadb256f7 100755 (executable)
--- a/GIT-VERSION-GEN
+++ b/GIT-VERSION-GEN
@@ -1,7 +1,7 @@
 #!/bin/sh
 
 GVF=GIT-VERSION-FILE
-DEF_VER=v1.7.3-rc1
+DEF_VER=v1.7.3.3
 
 LF='
 '