Skip to content

Fix non-interactive config without providing server ID#915

Merged
RobiNino merged 2 commits intojfrog:devfrom RobiNino:fix-default-server-idAug 24, 2023