krb5/krb5 — pull request #204 by javabrett (2014-09-05 01:25:37+00:00)
Title: Added documentation explaining the addition of a grace period, equal to ...

..."clockskew", to expiring tickets.