- From: Ryan Johnson via GitHub <sysbot+gh@w3.org>
- Date: Mon, 05 Dec 2022 17:24:15 +0000
- To: public-design-tokens-log@w3.org
FYI: another use for `"$type": "number"` is z-index/elevation level -- GitHub Notification of comment by CITguy Please view or discuss this issue at https://github.com/design-tokens/community-group/issues/120#issuecomment-1337778082 using your GitHub account -- Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config
Received on Monday, 5 December 2022 17:24:17 UTC