Closed: [community-group] $deprecated property? (#118)

• From: Drew Powers via GitHub <sysbot+gh@w3.org>
• Date: Wed, 27 Nov 2024 06:31:44 +0000
• To: public-design-tokens-log@w3.org
• Message-ID: <issues.closed-1174467988-1732689102-sysbot+gh@w3.org>

drwpow closed this issue. See https://github.com/design-tokens/community-group/issues/118

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

Received on Wednesday, 27 November 2024 06:31:44 UTC