[typography] new commits pushed by r12a

The following commits were just pushed by r12a to https://github.com/w3c/typography:

* tidying
  by r12a
https://github.com/w3c/typography/commit/336e5cb06611449e37062375625ef320a56dbc7c

Received on Friday, 15 February 2019 17:58:16 UTC