Merge pull request #13610 from yuwata/network-check-one-more-section
authorYu Watanabe <watanabe.yu+github@gmail.com>
Sun, 22 Sep 2019 05:18:28 +0000 (07:18 +0200)
committerGitHub <noreply@github.com>
Sun, 22 Sep 2019 05:18:28 +0000 (07:18 +0200)
network: assorted follow-ups


Trivial merge