- From: Drew Powers via GitHub <noreply@w3.org>
- Date: Mon, 04 Aug 2025 03:41:13 +0000
- To: public-design-tokens-log@w3.org
Going to just merge, because this was technically approved and merged already, and only fixes a correction. For other PRs that introduce changes that warrant feedback, will seek a standard review + approval. -- GitHub Notification of comment by drwpow Please view or discuss this issue at https://github.com/design-tokens/community-group/pull/288#issuecomment-3149030788 using your GitHub account -- Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config
Received on Monday, 4 August 2025 03:41:14 UTC