Re: [community-group] Proposal: add $deprecated property (#255)

We’ve waited for additional parties to give input / feedback but haven’t gotten any pushback or corrections. Merging!

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


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

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