diff --git a/machines/config_batch.xml b/machines/config_batch.xml index 0b2caa48..ac63ec53 100644 --- a/machines/config_batch.xml +++ b/machines/config_batch.xml @@ -371,6 +371,7 @@ main + develop