Merge pull request #11780 from yuwata/fix-4211
authorZbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl>
Tue, 26 Feb 2019 07:31:32 +0000 (08:31 +0100)
committerGitHub <noreply@github.com>
Tue, 26 Feb 2019 07:31:32 +0000 (08:31 +0100)
network: skip .network files earlier when conditions do not match system environment


Trivial merge