Merge pull request #1791 from MikePetullo/for-15.05-krb5
authorSteven Barth <[email protected]>
Tue, 13 Oct 2015 08:06:28 +0000 (10:06 +0200)
committerSteven Barth <[email protected]>
Tue, 13 Oct 2015 08:06:28 +0000 (10:06 +0200)
krb5: update to 1.13.2


Trivial merge