- From: James Nash via GitHub <sysbot+gh@w3.org>
- Date: Mon, 29 Aug 2022 20:50:57 +0000
- To: public-design-tokens-log@w3.org
Closing this PR for the same reasons that we've closed the associated issue #159. We really appreciate you taking the time to raise the issue and prepare this PR though. Sorry it's a no this time. Hopefully this won't discourage you from contributing other comments / ideas / PRs / etc. in the future! -- GitHub Notification of comment by c1rrus Please view or discuss this issue at https://github.com/design-tokens/community-group/pull/160#issuecomment-1230847706 using your GitHub account -- Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config
Received on Monday, 29 August 2022 20:50:59 UTC