Re: [community-group] $type should be a required property (#139)

@c1rrus That's great news! Do you have a link to the PR? Thank you!

-- 
GitHub Notification of comment by reblim
Please view or discuss this issue at https://github.com/design-tokens/community-group/issues/139#issuecomment-1360078676 using your GitHub account


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

Received on Tuesday, 20 December 2022 19:55:06 UTC