[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/6ad0371a6da9738850b78dcd25a6195823cc8b81

Received on Thursday, 21 February 2019 17:52:45 UTC