- From: r12a via GitHub <sysbot+gh@w3.org>
- Date: Tue, 30 May 2023 10:58:23 +0000
- To: public-i18n-archive@w3.org
My recommendation for combining marks is: 1. if there's a webfont which supports display with a dotted circle (most Noto fonts do that now), then leave it alone 2. otherwise, use an image – i have a supply of those that can be copied, where appropriate I don't recommend just dropping the character. -- GitHub Notification of comment by r12a Please view or discuss this issue at https://github.com/w3c/bp-i18n-specdev/issues/103#issuecomment-1568225974 using your GitHub account -- Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config
Received on Tuesday, 30 May 2023 10:58:25 UTC