- From: Laurent Thiebault via GitHub <sysbot+gh@w3.org>
- Date: Fri, 01 Jul 2022 00:03:13 +0000
- To: public-design-tokens-log@w3.org
@natemoo-re +1, could be nice to be able to set `$extensions` property at group level. -- GitHub Notification of comment by lauthieb Please view or discuss this issue at https://github.com/design-tokens/community-group/issues/106#issuecomment-1171783713 using your GitHub account -- Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config
Received on Friday, 1 July 2022 00:03:15 UTC