Merge branch 'jc/diff-ws-error-highlight'

diff --git a/GIT-VERSION-GEN b/GIT-VERSION-GEN
index bfb715d3c896bea3f6eba7da43fabe4370530efa..8ffa336dc343ff288c84bf50589beb67182cb846 100755 (executable)
--- a/GIT-VERSION-GEN
+++ b/GIT-VERSION-GEN
@@ -1,7 +1,7 @@
 #!/bin/sh
 
 GVF=GIT-VERSION-FILE
-DEF_VER=v2.4.0.GIT
+DEF_VER=v2.5.0-rc2
 
 LF='
 '