56c56
< RCSID("$Id: kerberos5.c,v 1.51.4.1 2002/10/21 14:28:31 joda Exp $");
---
> RCSID("$Id: kerberos5.c,v 1.53 2002/09/20 14:37:46 joda Exp $");
< RCSID("$Id: kerberos5.c,v 1.51.4.1 2002/10/21 14:28:31 joda Exp $");
---
> RCSID("$Id: kerberos5.c,v 1.53 2002/09/20 14:37:46 joda Exp $");