- From: Kaelig Deloumeau-Prigent via GitHub <sysbot+gh@w3.org>
- Date: Fri, 13 May 2022 05:31:25 +0000
- To: public-design-tokens-log@w3.org
Re: merge I just did above – I made a few changes to the main branch that impacted deployment/CI, and I needed to merge it into this PR. -- GitHub Notification of comment by kaelig Please view or discuss this issue at https://github.com/design-tokens/community-group/pull/128#issuecomment-1125671731 using your GitHub account -- Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config
Received on Friday, 13 May 2022 05:31:26 UTC