svn rev #18931: trunk/src/lib/krb5/krb/

[jaltman@MIT.EDU]

Commit By: jaltman
Log Message: 
ticket: 3642

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




Changed Files:
U   trunk/src/lib/krb5/krb/gic_opt.c