Raise the version number

dyemanov · dyemanov · commit 1d0c577245c1 · 2025-08-04T11:05:14.000+03:00
diff --git a/src/misc/writeBuildNum.sh b/src/misc/writeBuildNum.sh
@@ -8,7 +8,7 @@ BuildVersion="$Id: writeBuildNum.sh,v 1.28732 2010/05/29 13:12:08 fsg Exp $"
 BuildType=V
 MajorVer=4
 MinorVer=0
-RevNo=6
+RevNo=7
 BuildNum=3228
 
 NowAt=`pwd`
