[community-group] Merged Pull Request: Correct typo in $type

• From: Kaelig Deloumeau-Prigent via GitHub <sysbot+gh@w3.org>
• Date: Thu, 17 Mar 2022 00:50:17 +0000
• To: public-design-tokens-log@w3.org
• Message-ID: <pull_request.closed-881189044-1647478215-sysbot+gh@w3.org>

kaelig has just merged ivnmaksimovic's pull request 117 for https://github.com/design-tokens/community-group:

== Correct typo in $type ==
None

See https://github.com/design-tokens/community-group/pull/117


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

Received on Thursday, 17 March 2022 00:50:18 UTC