Skip to content

Comments

New serverlist backend#248

Merged
corp-0 merged 3 commits intodevelopfrom
new-serverlist-backend
Nov 8, 2025
Merged

New serverlist backend#248
corp-0 merged 3 commits intodevelopfrom
new-serverlist-backend

Conversation

@corp-0
Copy link
Member

@corp-0 corp-0 commented Nov 6, 2025

in the near future, we should add the serverlist URL to preferences so people can fetch from wherever

@corp-0 corp-0 marked this pull request as draft November 6, 2025 22:10
@corp-0 corp-0 marked this pull request as ready for review November 6, 2025 22:14
@corp-0 corp-0 merged commit e66c720 into develop Nov 8, 2025
6 checks passed
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