Skip to content

Reduced serverlist#637

Merged
corrados merged 3 commits intomasterfrom
reduced_serverlist
Sep 28, 2020
Merged

Reduced serverlist#637
corrados merged 3 commits intomasterfrom
reduced_serverlist

Conversation

@corrados
Copy link
Copy Markdown
Contributor

It seems that the code for the reduced server list works as expected. I have already upgraded the Default Central server and it seems to work fine. I'll merge this to the master branch now.

If you would like to comment on the Pull Request, feel free to do so. I'll consider your comments on the master branch then.

@corrados corrados merged commit 653cf37 into master Sep 28, 2020
@corrados corrados deleted the reduced_serverlist branch October 1, 2020 15:10
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant