Javascript now required for code coverage

[policy/engine.git] / version.properties

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