OSDN Git Service

Merge pull request #2653 from ShaoChenHeng/dmst
authormgt <mgt@oi-wiki.org>
Wed, 16 Sep 2020 13:03:51 +0000 (21:03 +0800)
committerGitHub <noreply@github.com>
Wed, 16 Sep 2020 13:03:51 +0000 (21:03 +0800)

Trivial merge