Skip to content

Conversation

@saschanaz
Copy link
Member

It's not used anywhere since a4fdf3e.

Base automatically changed from master to main February 2, 2021 19:45
@svgeesus
Copy link
Contributor

svgeesus commented Aug 5, 2024

@tabatkins ?

@svgeesus svgeesus closed this Aug 5, 2024
@svgeesus svgeesus reopened this Aug 5, 2024
@svgeesus
Copy link
Contributor

svgeesus commented Aug 5, 2024

(Close/reopen to kick the stalled ipr bot)

@tabatkins tabatkins merged commit f31691f into w3c:main Aug 5, 2024
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.

3 participants