[typography] new commits pushed by r12a

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

* minor code tidy
  by r12a
https://github.com/w3c/typography/commit/95c71e22a008eb898c4d74dea4db026fe55c09fc

Received on Friday, 19 June 2020 13:30:58 UTC