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

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

* Move code functions to separate file, to prevent corruption by respec
  by r12a
https://github.com/w3c/predefined-counter-styles/commit/6889c9f1e386393fc4192d526a090145ac0a8c8b



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

Received on Friday, 30 June 2023 10:54:00 UTC