Merge pull request #7591 from poettering/retry-on-servfail
authorZbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl>
Tue, 12 Dec 2017 21:22:06 +0000 (22:22 +0100)
committerGitHub <noreply@github.com>
Tue, 12 Dec 2017 21:22:06 +0000 (22:22 +0100)
resolved: retry with a different server on SERVFAIL


Trivial merge