- From: Addison Phillips via GitHub <sysbot+gh@w3.org>
- Date: Fri, 04 Dec 2020 17:39:06 +0000
- To: public-i18n-archive@w3.org
@r12a I always use the `char [U+1234 NAME GOES HERE]` for individual characters (with styles) when done. I will probably make a new subsection out of the prosgegrammeni note and add discussion of why the pre-normalization step is optional and the workaround for the affected characters. Then I need to update 3.2.2.3/3.2.2.4 to reflect that. -- GitHub Notification of comment by aphillips Please view or discuss this issue at https://github.com/w3c/charmod-norm/pull/214#issuecomment-738918020 using your GitHub account -- Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config
Received on Friday, 4 December 2020 17:39:09 UTC