[csswg-drafts] Pull Request: Fix typo: "header element" to "heading element" from Kyle Bavender via GitHub on 2018-05-02 (public-css-archive@w3.org from May 2018)

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