PR #3232 Open PRs for font data updates instead

Open PRs for font data updates instead #3232

sokra merged 2 commits into main from wbinnssmith/font-update-pr

github-actions added area: ci

Open PRs for font data updates instead

485708e3

wbinnssmith force pushed from 997ac6aa to 485708e3 3 years ago

wbinnssmith marked this pull request as ready for review 3 years ago

wbinnssmith requested a review 3 years ago

wbinnssmith requested a review from

tknickman 3 years ago

wbinnssmith requested a review from

NicholasLYang 3 years ago

Merge branch 'main' into wbinnssmith/font-update-pr

8d5e4d8e

sokra approved these changes on 2023-01-10

sokra merged 6b1e2fda into main 3 years ago

sokra deleted the wbinnssmith/font-update-pr branch 3 years ago

Reviewers

sokra

tknickman

NicholasLYang

Assignees

No one assigned

Labels

area: ci

Milestone

No milestone