Module Name:	htdocs
Committed By:	dent
Date:		Tue Jul 31 20:46:44 UTC 2001

Modified Files:
	htdocs/People: core.html port-maintainers.html

Log Message:
Update link, pointed out by Bert Kiers.


To generate a diff of this commit:
cvs rdiff -r1.42 -r1.43 htdocs/People/core.html
cvs rdiff -r1.87 -r1.88 htdocs/People/port-maintainers.html

Please note that diffs are not public domain; they are subject to the
copyright notices on the relevant files.