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

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

* prepped for publication
  by r12a
https://github.com/w3c/predefined-counter-styles/commit/f2add4a29b8075d781bfbf19784cbe51e1b7935b

Received on Wednesday, 1 February 2017 18:36:51 UTC