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.

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

Expose everywhere #85

Merged
merged 1 commit into from
Jan 28, 2022
Merged

Expose everywhere #85

merged 1 commit into from
Jan 28, 2022
+2 −2

Conversation

Ms2ger
Copy link
Contributor

@Ms2ger Ms2ger commented Oct 20, 2021 •
edited by pr-preview bot
Loading

@Ms2ger Ms2ger mentioned this pull request Nov 3, 2021
Closed
14 tasks
@Ms2ger Ms2ger closed this Jan 18, 2022
@Ms2ger Ms2ger reopened this Jan 18, 2022
@Ms2ger
Copy link
Contributor Author

Ms2ger commented Jan 28, 2022

Hey @npm1, is there anything I need to do on my side to move this along?

@npm1 npm1 merged commit acbd329 into w3c:gh-pages Jan 28, 2022
@npm1
Copy link
Contributor

npm1 commented Jan 28, 2022

I forget most people can't do merges. Done :)

@yoavweiss yoavweiss mentioned this pull request Jul 22, 2022
Merged
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@npm1 npm1 npm1 approved these changes

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@Ms2ger @npm1