- From: Drew Powers via GitHub <sysbot+gh@w3.org>
- Date: Thu, 24 Oct 2024 19:30:38 +0000
- To: public-design-tokens-log@w3.org
drwpow has just submitted a new pull request for https://github.com/design-tokens/community-group: == Fix design token heading levels == ## Changes Fixes an unintentional heading level issue under “Design Tokens” **Before** Section 5.2 seems to suggest that the following headings are underneath it (as does “Groups”):  **After** Section 5.2 makes more sense with sub-headings (and makes Tokens and Groups consistent)  See https://github.com/design-tokens/community-group/pull/254 -- Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config
Received on Thursday, 24 October 2024 19:30:39 UTC