Merge branch 'jk/path-name-safety-2.4' into jk/path-name-safety-2.5

diff --git a/GIT-VERSION-GEN b/GIT-VERSION-GEN
index 7915077d2a0d6785f9194ff00f19a2af090f4d4f..998786939b9b64a5f992d89a5e3c784e2b75d047 100755 (executable)
--- a/GIT-VERSION-GEN
+++ b/GIT-VERSION-GEN
@@ -1,7 +1,7 @@
 #!/bin/sh
 
 GVF=GIT-VERSION-FILE
-DEF_VER=v2.5.3
+DEF_VER=v2.5.4
 
 LF='
 '