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

WIP: Update for CR #2326

Closed
wants to merge 9 commits into from
Closed

WIP: Update for CR #2326

wants to merge 9 commits into from

Conversation

rtoy
Copy link
Member

@rtoy rtoy commented Apr 29, 2021

Update for CR 2021-05-06.

DO NOT MERGE!


Preview | Diff

index.bs Outdated
@@ -25,7 +25,7 @@ Editor: Hongchan Choi, Google (https://www.google.com/), hongchan@google.com, w3
Former Editor: Raymond Toy (until Oct 2018)
Former Editor: Chris Wilson (Until Jan 2016)
Former Editor: Chris Rogers (Until Aug 2013)
Implementation report: https://webaudio.github.io/web-audio-api/implementation-report.html
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

It does, though. The pubrules checker complained.

@svgeesus
Copy link
Contributor

svgeesus commented May 5, 2021

By the way the generated html had an entirely empty Status of this Document.

I fixed it by copying in te one we used for the CR Snapshot, editing, and keeping edting until the pubrules checker stopped whining.

@rtoy
Copy link
Member Author

rtoy commented Jun 25, 2021

Let's close this when #2350 lands. Then the current draft will match the Recommendation.

@hoch
Copy link
Member

hoch commented Aug 26, 2021

Per #2326 (comment), I think we can close this. #2350 was merged on 7/2.

@hoch hoch closed this Aug 26, 2021
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