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

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

* publication update
previous publication failed
  by r12a
https://github.com/w3c/predefined-counter-styles/commit/d6bfbdea94fbeb89a452881ffe7775bb00a40393

Received on Wednesday, 15 February 2017 10:49:43 UTC