Re: [predefined-counter-styles] Wrong Editor ID in ReSpec config (#24)

This is now fixed. Closing.

-- 
GitHub Notification of comment by r12a
Please view or discuss this issue at https://github.com/w3c/predefined-counter-styles/issues/24#issuecomment-856888883 using your GitHub account


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

Received on Tuesday, 8 June 2021 15:52:12 UTC