Update report script filters

[policy/parent.git] / version.properties

diff --git a/version.properties b/version.properties
index 7f9c490..b45c803 100644 (file)
--- a/version.properties
+++ b/version.properties
@@ -2,9 +2,9 @@
 # Note that these variables cannot be structured (e.g. : version.release or version.snapshot etc... )
 # because they are used in Jenkins, whose plug-in doesn't support
 
-major=3
-minor=1
-patch=4
+major=4
+minor=0
+patch=2
 
 base_version=${major}.${minor}.${patch}