[predefined-counter-styles] new commits pushed by r12a

The following commits were just pushed by r12a to https://github.com/w3c/predefined-counter-styles:

* Add a wrapper around each counter style definition
Fixes copy
  by r12a
https://github.com/w3c/predefined-counter-styles/commit/4c0e08767a7fc5af21237643e170958cd7afdb41



-- 
Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config

Received on Friday, 30 June 2023 11:19:34 UTC