OSDN Git Service

Merge pull request #2187 from countercurrent-time/master
authormgt <mgt@oi-wiki.org>
Thu, 7 May 2020 07:25:53 +0000 (15:25 +0800)
committerGitHub <noreply@github.com>
Thu, 7 May 2020 07:25:53 +0000 (15:25 +0800)

Trivial merge