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

san pablo as first server #4116

Open

Okuro3499 opened this issue Aug 12, 2024 · 0 comments

Assignees

Labels

Collaborator

Okuro3499 commented Aug 12, 2024

pre-configure to show san pablo as the first server for learners

Okuro3499 self-assigned this

Okuro3499 mentioned this issue

sync: first server to be san pablo (fixes #4116) #4117

Closed

Okuro3499 added the resolved? label

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