pullup from trunk


To generate a diff of this commit:



	cvs diff -r1.142.4.1 -r1.142.4.2 krb5/src/util/ChangeLog
	cvs diff -r1.4 -r1.4.10.1 krb5/src/util/def-check.pl