Merge pull request #13753 from keszybz/change-man-ordering
authorYu Watanabe <watanabe.yu+github@gmail.com>
Wed, 9 Oct 2019 05:51:06 +0000 (14:51 +0900)
committerGitHub <noreply@github.com>
Wed, 9 Oct 2019 05:51:06 +0000 (14:51 +0900)
Change section ordering to have commands above options


Trivial merge