Created attachment 388394 [details] krb5-1.7-document-ticket-lifetime.patch Description of problem: As in the summary. Attached patch fixes this.
Thanks for the patch; adding it for 1.8-3.