Re: [community-group] chore(www): Fix dev server refresh when editing respec (#294) from Drew Powers via GitHub on 2025-08-16 (public-design-tokens-log@w3.org from August 2025)

From: Drew Powers via GitHub <noreply@w3.org>
Date: Sat, 16 Aug 2025 21:25:58 +0000
To: public-design-tokens-log@w3.org
Message-ID: <issue_comment.created-3193915666-1755379556-noreply@w3.org>

Also going to merge this without a review, as it’s also another chore that has no impact on any specifications, presentations, content, or decisions. 100% maintenance.

-- 
GitHub Notification of comment by drwpow
Please view or discuss this issue at https://github.com/design-tokens/community-group/pull/294#issuecomment-3193915666 using your GitHub account


-- 
Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config

Received on Saturday, 16 August 2025 21:25:59 UTC