Skip to content

Conversation

calfzhou
Copy link
Contributor

No description provided.

@ekzhang ekzhang linked an issue Nov 11, 2022 that may be closed by this pull request
@ekzhang
Copy link
Owner

ekzhang commented Nov 11, 2022

Thanks!

@ekzhang ekzhang merged commit f1ed0b2 into ekzhang:main Nov 11, 2022
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.

Specify default server to forward to via environment variable
3 participants