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

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

* linked to Christoph P├Ąper's site
  by r12a
https://github.com/w3c/predefined-counter-styles/commit/ce33a894be673029046ae517d7997ab97798e7b0

Received on Wednesday, 1 February 2017 15:09:56 UTC