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

Editorial: Add an IDL Index appendix to the spec. #189

Merged

marcoscaceres merged 1 commit into w3c:gh-pages from rakuco:add-idl-index

Oct 24, 2019

Member

rakuco commented Oct 24, 2019 •

edited by pr-preview bot


          Editorial: Add an IDL Index appendix to the spec.

2c9c604

marcoscaceres approved these changes

View reviewed changes

marcoscaceres merged commit 2a148c5 into w3c:gh-pages

Member

marcoscaceres commented Oct 24, 2019

Thanks 🙏

rakuco deleted the add-idl-index branch

October 24, 2019 09:32

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