-
Daniel Wolf authored
Avoid fetching the default server every time when the user hasn't chosen one by explicitly assigning the default value
6b7d8cc3
Avoid fetching the default server every time when the user hasn't chosen one by explicitly assigning the default value