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 the integration with HTML and Fetch. #75

Merged
merged 1 commit into from
Jul 20, 2021
Merged

Clean up the integration with HTML and Fetch. #75

merged 1 commit into from
Jul 20, 2021

Conversation

mikewest
Copy link
Member

After whatwg/fetch#948,
whatwg/fetch#993, and
whatwg/html#5203, the integration with Fetch and
HTML is complete. This patch points to those integration points rather
than claiming that there's still work to be done.

Closes #73.

After whatwg/fetch#948,
whatwg/fetch#993, and
whatwg/html#5203, the integration with Fetch and
HTML is complete. This patch points to those integration points rather
than claiming that there's still work to be done.

Closes #73.
@mikewest
Copy link
Member Author

Thanks for pointing this out @annevk. Mind taking a look at this fix?

@mikewest mikewest requested a review from annevk July 13, 2021 09:04
@mikewest mikewest merged commit 971e035 into main Jul 20, 2021
@mikewest mikewest deleted the issues branch July 20, 2021 06:14
github-actions bot added a commit that referenced this pull request Jul 20, 2021
SHA: 971e035
Reason: push, by @mikewest

Co-authored-by: github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com>
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.

Remove outstanding issues
2 participants