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

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

* post-publication reversion to ED
  by r12a
https://github.com/w3c/predefined-counter-styles/commit/44b98a51b8faa19461cae7861c05f7377974a4f2

Received on Thursday, 16 February 2017 07:41:07 UTC