Raise the version number

dyemanov · dyemanov · commit 945f796ac2b6 · 2025-08-04T11:03:01.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=5
 MinorVer=0
-RevNo=3
+RevNo=4
 BuildNum=1693
 
 NowAt=`pwd`
