OSDN Git Service

Merge pull request #2819 from TianyiQ/master
authormgt <mgt@oi-wiki.org>
Fri, 4 Dec 2020 16:57:16 +0000 (00:57 +0800)
committerGitHub <noreply@github.com>
Fri, 4 Dec 2020 16:57:16 +0000 (00:57 +0800)

Trivial merge