- From: Val Head via GitHub <sysbot+gh@w3.org>
- Date: Sun, 16 Jul 2023 15:44:37 +0000
- To: public-design-tokens-log@w3.org
valhead has just merged c1rrus's pull request 202 for https://github.com/design-tokens/community-group: == Adds extensions to groups == Closes #106 There seems to be a consensus that allowing groups to have `$extensions` (just like design tokens can), so this updates the spec accordingly. See https://github.com/design-tokens/community-group/pull/202 -- Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config
Received on Sunday, 16 July 2023 15:44:39 UTC