The krb5-1.11 commit that fixed this was went to ticket #7370 by accident.