[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/f5182a6ecc551a9e791f58f7c726eea70a63e60e

Received on Wednesday, 22 June 2016 10:22:59 UTC