- 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
Just realised this issue never got closed even though PR #201 has been merged for a while now. Therefore go ahead and closing this. -- GitHub Notification of comment by c1rrus Please view or discuss this issue at https://github.com/design-tokens/community-group/issues/139#issuecomment-1551999174 using your GitHub account -- 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