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

Update WebIDL2 #5665

Merged
merged 2 commits into from
Apr 26, 2017

Update resources/webidl2 to 88c5c5b6bb675d0d95ae3ec4db3258768d0c8fc0

7ad1bd2
Select commit
Loading
Failed to load commit list.
Merged

Update WebIDL2 #5665

Update resources/webidl2 to 88c5c5b6bb675d0d95ae3ec4db3258768d0c8fc0
7ad1bd2
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs