这是indexloc提供的服务,不要输入任何密码
Skip to content

Conversation

@dmcardle
Copy link
Contributor

@dmcardle dmcardle commented May 3, 2022

No description provided.

@dmcardle
Copy link
Contributor Author

dmcardle commented May 3, 2022

@shivanigithub PTAL :)

@yoavweiss
Copy link
Collaborator

@dmcardle - Can you join the WICG to appease the IPR bots? :)

@dmcardle
Copy link
Contributor Author

dmcardle commented May 3, 2022

Just sent a request to join. Thanks!

@dmcardle
Copy link
Contributor Author

dmcardle commented May 3, 2022

Alternatively, I guess you could mark this as a non-substantive change. It's really just formatting, after all.

@dmcardle
Copy link
Contributor Author

dmcardle commented May 3, 2022

Thanks, Shivani! I think I need someone to "approve and run" the workflow before this can be merged.

@shivanigithub shivanigithub merged commit 5dc2289 into WICG:master May 3, 2022
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