[ADMIN] Update INFO.yaml (new PTL and cleanup)

[demo.git] / version.properties

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