[predefined-counter-styles] Pull Request: Remove whitespace from ends of lines

• 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
• Message-ID: <pull_request.opened-489439374-1600448929-sysbot+gh@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