Skip to content
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.

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

Clean up unused references and non-ascii characters #2973

Merged
merged 1 commit into from
Dec 20, 2024

Conversation

sbingler
Copy link
Collaborator

The previous PR, #2972, removed the only usages of some references, this one cleans them up.

Additionally cleans up some non-essential non-ascii characters.

The previous PR removed the only usages of some references, this one
cleans them up.

Additionally, some non-ascii characters were removed.
Copy link
Member

@mikewest mikewest left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM!

@sbingler sbingler merged commit 1a827d0 into httpwg:main Dec 20, 2024
1 check passed
@sbingler sbingler deleted the MoreCleanup branch December 20, 2024 21:42
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Development

Successfully merging this pull request may close these issues.

2 participants