[krbdev.mit.edu #3642] SVN Commit

[Tom Yu via RT]

>>>>> "jaltman" == Jeffrey Altman via RT <rt-comment at krbdev.mit.edu> writes:

jaltman> 	Undo revision 18930 which was not supposed to include this
jaltman>         file.

jaltman> Commit By: jaltman

jaltman> Revision: 18931
jaltman> Changed Files:
jaltman> U   trunk/src/lib/krb5/krb/gic_opt.c

There is a remaining patch to krb5.hin which might not have been
intended.  Should it be backed out?