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

• From: James Nash via GitHub <sysbot+gh@w3.org>
• Date: Wed, 17 May 2023 20:14:06 +0000
• To: public-design-tokens-log@w3.org
• Message-ID: <issues.closed-1276005073-1684354444-sysbot+gh@w3.org>

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

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

Received on Wednesday, 17 May 2023 20:14:07 UTC