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

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

* prepublication changes (for NOTE)
  by r12a
https://github.com/w3c/predefined-counter-styles/commit/11a9936d6883a7126a898573919a9702eff8ad55

Received on Wednesday, 15 February 2017 10:24:50 UTC