Hello, I submitted a pull request to the MIT Kerberos GitHub repository 12 days ago: https://github.com/krb5/krb5/pull/9 With the holidays perhaps no one has had a chance to look at it, but I just wanted to check to see if there’s anything else I should do to get this noticed (e.g. announce it here)? Thanks, -- Richard