- From: James Nash via GitHub <sysbot+gh@w3.org>
- Date: Wed, 10 Aug 2022 07:32:24 +0000
- To: public-design-tokens-log@w3.org
c1rrus has just merged lauthieb's pull request 156 for https://github.com/design-tokens/community-group: == refactor(vocabulary): rename "export tool" => "translation tool" == In order to be more consistent, I've proposed to align terms of "export tool" & "translation tool". So, this PR is there to close my issue about this: closes #152 Btw, thanks a lot @c1rrus for your comment on this: > Good point! > > I think you're right, we've used multiple terms to mean the same thing and ought to clean that up. Feel free if you want to challenge :) Have a nice day, See https://github.com/design-tokens/community-group/pull/156 -- Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config
Received on Wednesday, 10 August 2022 07:32:26 UTC