- From: Amir E. Aharoni via GitHub <sysbot+gh@w3.org>
- Date: Fri, 18 Sep 2020 17:08:50 +0000
- To: public-i18n-archive@w3.org
amire80 has just submitted a new pull request for https://github.com/w3c/predefined-counter-styles: == Remove whitespace from ends of lines == This is a trivial change that was made automatically by my text editor. If it's unnecessary or harmful, feel free to close it. See https://github.com/w3c/predefined-counter-styles/pull/28 -- Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config
Received on Friday, 18 September 2020 17:08:52 UTC