diff --git a/conf/tools.conf b/conf/tools.conf index bd5fbde6a..9ddb4c7f4 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.0" +version: "1.2.1" Tools {