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

Thanks! Will give other editors a chance to review and leave feedback over the next week or 2. If there’s no objection, we’ll merge!

But also, for the other proposals moving forward, generally the editors express the same opinions found in the comments, so the fact it’s being proposed in the first place is usually positive 🙂 

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


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

Received on Friday, 25 October 2024 15:59:08 UTC