[typography] new commits pushed by r12a

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

* uploading the correct file for the last commit
  by r12a
https://github.com/w3c/typography/commit/f10534f9a2f89386684c31836236c79b3274942b

Received on Friday, 1 June 2018 17:38:47 UTC