- From: r12a via GitHub <sysbot+gh@w3.org>
- Date: Wed, 23 Sep 2020 12:15:27 +0000
- To: public-i18n-archive@w3.org
Ah. I forgot to merge this before making various other changes, so now it produces conflicts. Looking over the diff it seems that these are indeed trivial, so i'm going to close the PR. -- GitHub Notification of comment by r12a Please view or discuss this issue at https://github.com/w3c/predefined-counter-styles/pull/28#issuecomment-697324728 using your GitHub account -- Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config
Received on Wednesday, 23 September 2020 12:15:29 UTC