Module Name: htdocs Committed By: dent Date: Mon Jul 9 14:55:54 UTC 2001 Modified Files: htdocs/People: port-maintainers.html Log Message: nit. To generate a diff of this commit: cvs rdiff -r1.86 -r1.87 htdocs/People/port-maintainers.html Please note that diffs are not public domain; they are subject to the copyright notices on the relevant files.