Oops, link should be:

https://github.com/krb5/krb5/pull/132