diff --git a/conf/tools.conf b/conf/tools.conf
index d4e673e5a..d54bc4347 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.2.9"
+version: "1.3.0"
 
 Tools {