Re: [community-group] Confusion regarding terms: GUI tool vs. Design tool & Translation tool vs. Export tool (#152)

Thanks @c1rrus, I've just proposed a PR for this: #156

-- 
GitHub Notification of comment by lauthieb
Please view or discuss this issue at https://github.com/design-tokens/community-group/issues/152#issuecomment-1175359438 using your GitHub account


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

Received on Tuesday, 5 July 2022 18:22:04 UTC