Fix comment style in public header. Commit By: raeburn Revision: 18255 Changed Files: U trunk/src/include/krb5/krb5.hin