- From: James Nash via GitHub <sysbot+gh@w3.org>
- Date: Wed, 04 Jan 2023 22:23:21 +0000
- To: public-design-tokens-log@w3.org
c1rrus has just submitted a new pull request 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 Wednesday, 4 January 2023 22:23:22 UTC