On 08/ 8/14 08:15 PM, Tom Yu wrote:
> Tomas Kuthan <[hidden email]> writes:
>> I was told, that krb5 release 1.13 is past feature freeze.
>> Is there already a branch of what will eventually become krb5 1.13 in
>> the github repository?
> There is now a krb5-1.13 branch in the GitHub repository. We needed to
> delay the branch date to resolve issues with some pull requests.