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

Draft #605

Open
wants to merge 20 commits into
base: draft
Choose a base branch
from
Open

Draft #605

wants to merge 20 commits into from

Conversation

zolkis
Copy link
Contributor

@zolkis zolkis commented Nov 17, 2020

This is to save a spec change proposal outlined in #604 in the draft branch, eventually to be consider later.


Preview | Diff

zolkis and others added 20 commits September 18, 2020 13:18
…w3c#599)

* Remove ignoreRead and add info on how to implement manually

Co-authored-by: Kenneth Rohde Christiansen <[email protected]>
* Remove ignoreRead and add info on how to implement manually (w3c#571)

* Remove ignoreRead and add info on how to implement manually

* Reapply w3c#565: remove filtering

Signed-off-by: Zoltan Kis <[email protected]>

Co-authored-by: Kenneth Rohde Christiansen <[email protected]>
…w3c#599)

* Remove ignoreRead and add info on how to implement manually

Co-authored-by: Kenneth Rohde Christiansen <[email protected]>
Signed-off-by: Zoltan Kis <[email protected]>
Signed-off-by: Zoltan Kis <[email protected]>
Signed-off-by: Zoltan Kis <[email protected]>
@zolkis
Copy link
Contributor Author

zolkis commented Nov 17, 2020

Looks like the draft branch has been some commits behind.

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