OSDN Git Service

Merge pull request #2189 from Henry-ZHR/patch-1
authormgt <mgt@oi-wiki.org>
Tue, 5 May 2020 11:20:54 +0000 (19:20 +0800)
committerGitHub <noreply@github.com>
Tue, 5 May 2020 11:20:54 +0000 (19:20 +0800)

Trivial merge