- From: Drew Powers via GitHub <sysbot+gh@w3.org>
- Date: Thu, 24 Oct 2024 23:00:27 +0000
- To: public-design-tokens-log@w3.org
drwpow has just merged drwpow's pull request 254 for https://github.com/design-tokens/community-group: == Fix design token heading levels == ## Changes Fixes an unintentional heading level issue under “Design token” **Before** Section 5.2 seems to suggest that the following headings are underneath it (which would mirror 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 23:00:28 UTC