Skip to content

Conversation

@kbav
Copy link
Contributor

@kbav kbav commented May 2, 2018

Change "header element" to "heading element". "Heading" is intended here, since it is referring to HTML heading elements above, and "heading" is also used in a prior description (line 1271).

Change "header element" to "heading element". "Heading" is intended here, since it is referring to HTML heading elements above, and "heading" is also used in a prior description (line 1271).
@fantasai fantasai merged commit 7507d61 into w3c:master Jun 7, 2018
@fantasai
Copy link
Collaborator

fantasai commented Jun 7, 2018

Thanks! Merged in. :)

@fantasai fantasai added the selectors-4 Current Work label Jun 7, 2018
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

selectors-4 Current Work

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants