fix previous commit To generate a diff of this commit: cvs diff -r1.445 -r1.446 krb5/src/include/ChangeLog