Skip to content

Conversation

j9t
Copy link
Contributor

@j9t j9t commented Jun 7, 2024

Tiny correction.


/interactive-elements.html ( diff )

Signed-off-by: Jens Oliver Meiert <jens@meiert.com>
Copy link
Member

@annevk annevk left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks!

(We follow these guidelines for commit messages: https://github.com/whatwg/meta/blob/main/COMMITTING.md. It'd help if you take those into account for future contributions.)

@annevk annevk merged commit 00760b2 into whatwg:main Jun 10, 2024
@j9t
Copy link
Contributor Author

j9t commented Jun 10, 2024

(We follow these guidelines for commit messages: https://github.com/whatwg/meta/blob/main/COMMITTING.md. It'd help if you take those into account for future contributions.)

Sure, will have a look. Wasn’t aware of it.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Development

Successfully merging this pull request may close these issues.

2 participants