[typography] new commits pushed by r12a

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

* turn on useful-discn for counters (for thai & burmese)
  by r12a
https://github.com/w3c/typography/commit/83fcbe3ab5bb35c99da484c6685935b78d2dc874

Received on Monday, 11 March 2019 18:09:15 UTC