Merge branch 'da/difftool-git-files'

diff --git a/GIT-VERSION-GEN b/GIT-VERSION-GEN
index e66a5abb0b83d073f254dab178b79fdae00be7b2..2b97352dd3b113b46bbd53248315ab91f0a9356b 100755 (executable)
--- a/GIT-VERSION-GEN
+++ b/GIT-VERSION-GEN
@@ -1,7 +1,7 @@
 #!/bin/sh
 
 GVF=GIT-VERSION-FILE
-DEF_VER=v1.9-rc0
+DEF_VER=v1.9.0
 
 LF='
 '