krb5/krb5 — pull request #68 by greghudson (2014-02-28 05:30:55+00:00)
Title: Fix install rule for gssapi_krb5.h

Revert r16428 now that gssapi_krb5.h is in the source tree.