Skip to content

Conversation

paulehoffman
Copy link
Contributor

But the working group doesn't depend on those in any way.

But the working group doesn't depend on those in any way.
@martinthomson martinthomson merged commit 1b9ac1e into master Oct 22, 2019
@martinthomson martinthomson deleted the light-pr branch October 22, 2019 23:31
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.

2 participants