- From: r12a via GitHub <sysbot+gh@w3.org>
- Date: Fri, 09 Oct 2020 13:56:27 +0000
- To: public-i18n-archive@w3.org
Once you merge this, i'd like to make the changes to the ids. Let me know if you have something else in the works, because changing the ids will probably generate conflicts for anything else not yet submitted. -- GitHub Notification of comment by r12a Please view or discuss this issue at https://github.com/w3c/charmod-norm/pull/212#issuecomment-706195771 using your GitHub account -- Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config
Received on Friday, 9 October 2020 13:56:29 UTC