[community-group] Merged Pull Request: Add explanations for $ prefix and group property differences

• From: James Nash via GitHub <sysbot+gh@w3.org>
• Date: Mon, 13 Jun 2022 16:10:36 +0000
• To: public-design-tokens-log@w3.org
• Message-ID: <pull_request.closed-918163605-1655136633-sysbot+gh@w3.org>

c1rrus has just merged kevinmpowell's pull request 128 for https://github.com/design-tokens/community-group:

== Add explanations for $ prefix and group property differences ==
None

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


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

Received on Monday, 13 June 2022 16:10:37 UTC