The following commits were just pushed by r12a to https://github.com/w3c/predefined-counter-styles: * more by r12a https://github.com/w3c/predefined-counter-styles/commit/3da1ea10b1304647bb5436ff90972a9ebd3f564eReceived on Wednesday, 15 February 2017 11:44:28 UTC
This archive was generated by hypermail 2.4.0 : Monday, 4 July 2022 18:09:36 UTC