On Dec 3, 2019, at 05:31, Martin Erik Werner <martinerikwerner@gmail.com> wrote:
After a bit of investigating, it seems that this font does have source available, and the upstream isn't from Google: As jbicha is also attempting to update the font stated in the issue from above, I am looping him in. Yao Wei (This email is sent from a phone; sorry for HTML email if it happens.) |