New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Update servers_v7.json #10234

Merged

Anuken merged 2 commits into Anuken:master from EchoDustry:EchoDustry-patch-1

Oct 4, 2024

Contributor

EchoDustry commented Sep 26, 2024

3rd pull request because server IPs got changed

If your pull request is not translation or serverlist-related, read the list of requirements below and check each box:

I have read the contribution guidelines.
I have ensured that my code compiles, if applicable.
I have ensured that any new features in this PR function correctly in-game, if applicable.

EchoDustry added 2 commits

September 26, 2024 17:30


          Update servers_v7.json

e4bafeb


          Update servers_v7.json

ae44d2e

Anuken merged commit 64c2649 into Anuken:master

2 checks passed

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet