Patch to get new service tickets in preference to using expired service tickets in krb5_get_credentials. To generate a diff of this commit: cvs diff -r5.365 -r5.366 krb5/src/lib/krb5/krb/ChangeLog cvs diff -r5.41 -r5.42 krb5/src/lib/krb5/krb/get_creds.c