- From: Kevin Powell via GitHub <sysbot+gh@w3.org>
- Date: Wed, 17 May 2023 20:03:32 +0000
- To: public-design-tokens-log@w3.org
Reviewed by Format Editors 5/17/23 * Does this warrant revisiting the existing Border type? (to possibly make it more flexible, renaming to "Stroke"?) * Is "Outline" something that makes sense beyond the web platform? How about iOS & Android? -- GitHub Notification of comment by kevinmpowell Please view or discuss this issue at https://github.com/design-tokens/community-group/issues/213#issuecomment-1551975682 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:03:33 UTC