Merge pull request #5562 from Andy2244/krb5-fix
authorHannu Nyman <hannu.nyman@iki.fi>
Sun, 20 May 2018 16:27:42 +0000 (19:27 +0300)
committerGitHub <noreply@github.com>
Sun, 20 May 2018 16:27:42 +0000 (19:27 +0300)
 krb5: update depends, fix FS#1310


Trivial merge