OSDN Git Service

Merge pull request #2192 from OI-wiki/Ir1d-patch-1
authormgt <mgt@oi-wiki.org>
Sun, 10 May 2020 14:38:08 +0000 (22:38 +0800)
committerGitHub <noreply@github.com>
Sun, 10 May 2020 14:38:08 +0000 (22:38 +0800)

Trivial merge