PR #780 [pull] master from prettier:master

[pull] master from prettier:master #780

pull merged 1 commit into fisker:master from prettier:master

Use better fonts in Playground (#9193)

3e6dd0d5

pull added :arrow_heading_down: pull

pull merged 3e6dd0d5 into master 5 years ago

github-actions locked as resolved and limited conversation to collaborators 3 years ago

Reviewers

No reviews

Assignees

No one assigned

Labels

:arrow_heading_down: pull

Milestone

No milestone