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

Review Draft Publication: December 2023 #258

Closed
wants to merge 1 commit into from
Closed

Conversation

annevk
Copy link
Member

@annevk annevk commented Dec 18, 2023

The December 2023 Review Draft for this Workstream will be published shortly after merging this pull request.

Under the WHATWG IPR Policy, Participants may, within 45 days after publication of a Review Draft, exclude certain Essential Patent Claims from the Review Draft Licensing Obligations. See the IPR Policy for details.


Preview | Diff

@annevk
Copy link
Member Author

annevk commented Dec 18, 2023

@miketaylr it seems there's linking issues again.

But it also seems like 57c7631 should have been a Meta: commit and therefore we don't have to publish as there have been no changes in the past six months.

@annevk annevk closed this Dec 18, 2023
@annevk annevk deleted the review-draft-2023-12 branch December 18, 2023 12:04
@miketaylr
Copy link
Member

But it also seems like 57c7631 should have been Meta: commit

You're right - I should have caught that in review. Will take a look at the linking issues today.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Development

Successfully merging this pull request may close these issues.

2 participants