Skip to content

Conversation

@foolip
Copy link
Member

@foolip foolip commented Mar 17, 2019

The actual mixin keyword was overlooked in #3643.

The actual `mixin` keyword was overlooked in #3643.
@foolip
Copy link
Member Author

foolip commented Mar 17, 2019

@astearns @tabatkins PTAL.

@astearns astearns merged commit 9352d49 into w3c:master Mar 17, 2019
@foolip foolip deleted the patch-2 branch March 18, 2019 10:05
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