Merge pull request #3562 from MikePetullo/for-15.05-krb5
authorchamptar <champetier.etienne@gmail.com>
Sat, 15 Jul 2017 23:57:57 +0000 (16:57 -0700)
committerGitHub <noreply@github.com>
Sat, 15 Jul 2017 23:57:57 +0000 (16:57 -0700)
commitc52b6f8a0e09156816059142e7085cd0c3eb4c25
treee34e0695beefaaa23b19dfc7261fe8abf844408a
parentb5f471857bfb776288d95c29decb049fccac6787
parent75333c03bbdd5cd72dff1f507423d7407ccbebea
Merge pull request #3562 from MikePetullo/for-15.05-krb5

krb5: install include properly and leave libcom_err* in place