Change the release version to 5.3.0

[usecase-ui/server.git] / version.properties

diff --git a/version.properties b/version.properties
index f366abb..e56fd4d 100644 (file)
--- a/version.properties
+++ b/version.properties
@@ -3,7 +3,7 @@
 # because they are used in Jenkins, whose plug-in doesn't support
 
 major=5
-minor=2
+minor=3
 patch=0
 
 base_version=${major}.${minor}.${patch}