diff --git a/conf/tools.conf b/conf/tools.conf
index bfc606a05..bd5fbde6a 100644
--- a/conf/tools.conf
+++ b/conf/tools.conf
@@ -6,7 +6,7 @@
 #Specify hardruntime in seconds
 
 # A new version indicates that the frontend should reload the configuration
-version: "1.1.0"
+version: "1.2.0"
 
 Tools {