- From: r12a via GitHub <sysbot+gh@w3.org>
- Date: Mon, 15 Apr 2019 07:35:22 +0000
- To: public-i18n-archive@w3.org
The following commits were just pushed by r12a to https://github.com/w3c/predefined-counter-styles: * Fix w3cid by r12a https://github.com/w3c/predefined-counter-styles/commit/2a4f848adb46cd26e896cd59424cec0bcca9db48
Received on Monday, 15 April 2019 07:35:23 UTC