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.

Sign up for GitHub

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

Jump to bottom

Follow up issue for respec error using WEB IDL partial namespace #480

Open
relu91 opened this issue May 22, 2023 · 1 comment
Open

Follow up issue for respec error using WEB IDL partial namespace #480

relu91 opened this issue May 22, 2023 · 1 comment
Labels
Editorial Topics purely about editing the document (i.e., typos)

Comments

@relu91
Copy link
Member

relu91 commented May 22, 2023 •
edited
Loading

I created https://github.com/w3c/respec/issues/4447, maybe there is a simple solution/fix for it.

Originally posted by @danielpeintner in #477 (comment)

Also look at this comment: #477 (comment)
@danielpeintner danielpeintner mentioned this issue May 25, 2023
Merged
@danielpeintner danielpeintner mentioned this issue Nov 20, 2023
Merged
@danielpeintner
Copy link
Contributor

Keep open until https://github.com/w3c/respec/issues/4447 has been fixed. Once fixed we can partly remove things from #518 (remove script and step 5)

@relu91 relu91 added the Editorial Topics purely about editing the document (i.e., typos) label Dec 11, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
Editorial Topics purely about editing the document (i.e., typos)
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@relu91 @danielpeintner