OSDN Git Service

Merge pull request #2671 from NachtgeistW/stl-sort
authormgt <mgt@oi-wiki.org>
Sun, 27 Sep 2020 01:41:38 +0000 (09:41 +0800)
committerGitHub <noreply@github.com>
Sun, 27 Sep 2020 01:41:38 +0000 (09:41 +0800)

Trivial merge