- From: Drew Powers via GitHub <sysbot+gh@w3.org>
- Date: Fri, 07 Feb 2025 21:27:43 +0000
- To: public-design-tokens-log@w3.org
Going to merge; the lint error was pre-existing and not part of this PR. -- GitHub Notification of comment by drwpow Please view or discuss this issue at https://github.com/design-tokens/community-group/pull/261#issuecomment-2644160304 using your GitHub account -- Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config
Received on Friday, 7 February 2025 21:27:44 UTC