Merge pull request #6920 from jannyg/remove-master-zone-query
authorRemi Gacogne <rgacogne@users.noreply.github.com>
Tue, 4 Sep 2018 08:31:14 +0000 (10:31 +0200)
committerGitHub <noreply@github.com>
Tue, 4 Sep 2018 08:31:14 +0000 (10:31 +0200)
Removed master-zone-query from documentation; fixes #6818


Trivial merge