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

@drwpow good to merge?

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


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

Received on Thursday, 21 November 2024 08:33:40 UTC