[community-group] Merged Pull Request: chore(): Add missing authors

• From: Louis Chenais via GitHub <noreply@w3.org>
• Date: Tue, 28 Oct 2025 09:19:49 +0000
• To: public-design-tokens-log@w3.org
• Message-ID: <pull_request.closed-2954097037-1761643187-noreply@w3.org>

ChucKN0risK has just merged ChucKN0risK's pull request 343 for https://github.com/design-tokens/community-group:

== chore(): Add missing authors ==
## Changes
- Add missing authors in root TR page

## How to Review
N/A


See https://github.com/design-tokens/community-group/pull/343


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

Received on Tuesday, 28 October 2025 09:19:50 UTC