- From: Nicolaos Skimas via GitHub <noreply@w3.org>
- Date: Wed, 29 Oct 2025 15:03:35 +0000
- To: public-design-tokens-log@w3.org
I manually checked. I discovered one that was broken in the course of normal browsing and then thought I'd check the others. I believe I've heard of tools though that can check for stuff like this. -- GitHub Notification of comment by dev-nicolaos Please view or discuss this issue at https://github.com/design-tokens/community-group/pull/346#issuecomment-3462084279 using your GitHub account -- Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config
Received on Wednesday, 29 October 2025 15:03:36 UTC