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

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