Skip to content

Remove polyfill and point to new archived location#499

Merged
emilio merged 1 commit into
w3c:mainfrom
miketaylr:issues/433/1
Jun 15, 2022
Merged

Remove polyfill and point to new archived location#499
emilio merged 1 commit into
w3c:mainfrom
miketaylr:issues/433/1

Conversation

@miketaylr

Copy link
Copy Markdown
Member

Closes #433

@miketaylr

Copy link
Copy Markdown
Member Author

cc @szager-chromium @emilio

@emilio
emilio merged commit eb168cb into w3c:main Jun 15, 2022
@emilio

emilio commented Jun 15, 2022

Copy link
Copy Markdown
Collaborator

Ah, I just saw you wanted review from @philipwalton, lmk if you want to revert this change and wait for that.

@philipwalton

Copy link
Copy Markdown
Member

Ah, I just saw you wanted review from @philipwalton, lmk if you want to revert this change and wait for that.

No worries. LGTM!

@miketaylr
miketaylr deleted the issues/433/1 branch June 16, 2022 15:04
@miketaylr

Copy link
Copy Markdown
Member Author

thanks both!

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.

How about we move the polyfill out?

3 participants