Merge pull request #8660 from MikePetullo/krb5
authorRosen Penev <rosenp@gmail.com>
Fri, 12 Apr 2019 08:09:13 +0000 (01:09 -0700)
committerGitHub <noreply@github.com>
Fri, 12 Apr 2019 08:09:13 +0000 (01:09 -0700)
krb5: allow installing without kadmind


Trivial merge