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

Use hostname for default websocket address #1664

Merged

emilk merged 1 commit into main from jleibs/web_viewer_location

Mar 22, 2023

Member

jleibs commented Mar 21, 2023 •

edited

Loading

Resolves: #1542

Checklist

I have read and agree to Contributor Guide and the Code of Conduct
I've included a screenshot or gif (if applicable)


          Use hostname for default websocket address

601e741

jleibs added the 🕸️ web label

jleibs marked this pull request as ready for review

March 21, 2023 21:54

emilk approved these changes

View reviewed changes

emilk merged commit 3b01e8d into main

emilk deleted the jleibs/web_viewer_location branch

March 22, 2023 07:08

emilk mentioned this pull request

Add a script that generates a changelog from recent PRs and their labels #1718

Merged

1 task

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