OSDN Git Service

Merge pull request #2788 from ShaoChenHeng/pr
authormgt <mgt@oi-wiki.org>
Tue, 10 Nov 2020 04:28:46 +0000 (12:28 +0800)
committerGitHub <noreply@github.com>
Tue, 10 Nov 2020 04:28:46 +0000 (12:28 +0800)

Trivial merge