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

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

* added lang tag to html (!) and html5 meta charset
  by r12a
https://github.com/w3c/predefined-counter-styles/commit/b288eeb9cdbb1942d5d61396d1bf811ae676305f

Received on Wednesday, 1 February 2017 18:14:08 UTC