- From: Pavel Laptev via GitHub <sysbot+gh@w3.org>
- Date: Sun, 25 Jun 2023 22:31:24 +0000
- To: public-design-tokens-log@w3.org
Agreed with @CITguy, `$label` fits better in this context -- GitHub Notification of comment by PavelLaptev Please view or discuss this issue at https://github.com/design-tokens/community-group/issues/112#issuecomment-1606290627 using your GitHub account -- Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config
Received on Sunday, 25 June 2023 22:31:26 UTC