diff --git a/conf/tools.conf b/conf/tools.conf
index da91a665e..051079fde 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.3"
+version: "1.2.4"
 
 Tools {