W3C home > Mailing lists > Public > public-css-archive@w3.org > May 2018

[csswg-drafts] Pull Request: Fix typo: "header element" to "heading element"

From: Kyle Bavender via GitHub <sysbot+gh@w3.org>
Date: Wed, 02 May 2018 15:01:30 +0000
To: public-css-archive@w3.org
Message-ID: <pull_request.opened-185467313-1525273289-sysbot+gh@w3.org>
kbav has just submitted a new pull request for https://github.com/w3c/csswg-drafts:

== Fix typo: "header element" to "heading element" ==
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).

See https://github.com/w3c/csswg-drafts/pull/2636
Received on Wednesday, 2 May 2018 15:01:41 UTC

This archive was generated by hypermail 2.4.0 : Tuesday, 5 July 2022 06:41:29 UTC