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

hi @marcoscaceres.  Thanks for that. I changed it in the editor's version.  I'm wondering whether there's a need to change it in the WG Note before we make more substantive changes (since i guess you'd need to be looking at the code to see it, and make an effort to track down the number)?

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

Received on Monday, 15 April 2019 07:43:56 UTC