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)
krb5: set replay cache directory to /tmp


Trivial merge