OSDN Git Service

Merge branch 'develop' into english-player-info-edits
authordis- <5705898+dis-@users.noreply.github.com>
Tue, 9 Feb 2021 10:30:48 +0000 (19:30 +0900)
committerGitHub <noreply@github.com>
Tue, 9 Feb 2021 10:30:48 +0000 (19:30 +0900)

Trivial merge