update version

diff --git a/version b/version
index 9d821a2cabb21458604781e2387c4453ce6d64a5..b841ff875f59449bcad478cab9dd7dbc67ff62ee 100644 (file)
--- a/version
+++ b/version
@@ -7,4 +7,4 @@ MAJORVER=9
 MINORVER=8
 PATCHVER=3
 RELEASETYPE=-P
-RELEASEVER=3
+RELEASEVER=4