Merge pull request #6170 from MikePetullo/krb5
authorHannu Nyman <hannu.nyman@iki.fi>
Sun, 3 Jun 2018 06:47:10 +0000 (09:47 +0300)
committerGitHub <noreply@github.com>
Sun, 3 Jun 2018 06:47:10 +0000 (09:47 +0300)
commit6e42b4b1299a7af8f45359917e746387652a4942
treedeb2573b0cf0ed25a6f4ce0e419f79635904b193
parent70abc9e56b2a96ef1a8086b5f39df4171db6de5c
parent536d55545627ede5cb332c5f6bcec0e2effeafc1
Merge pull request #6170 from MikePetullo/krb5

krb5: set replay cache directory to /tmp