Merge pull request #3563 from MikePetullo/krb5
authorTed Hess <thess@kitschensync.net>
Fri, 25 Nov 2016 03:51:33 +0000 (22:51 -0500)
committerGitHub <noreply@github.com>
Fri, 25 Nov 2016 03:51:33 +0000 (22:51 -0500)
krb5: install include properly and leave libcom_err* in place


Trivial merge