PR #1442 Add an option to include frozen documents.

Add an option to include frozen documents. #1442

dtapuska wants to merge 4 commits into w3c:main from dtapuska:master

jakearchibald requested changes on 2019-06-27

Add an option to include frozen documents.

a5bc0714

dtapuska force pushed from 8ed21657 to a5bc0714 7 years ago

jakearchibald requested changes on 2019-07-12

Fix review comments

307004d2

Squash IDL definiton

e76e1a74

Fix typo

02fcf8ea

Base automatically changed from master to main 5 years ago

Reviewers

jakearchibald

tabatkins

Assignees

No one assigned

Labels

None yet

Milestone

No milestone