George Harmon Coxe

Revision	When	Who	Comment

7	March 7, 2024	mheiman	merge authors
6	November 29, 2023	mheiman	merge authors
5	May 1, 2022	mheiman	Edited without comment.
4	May 1, 2022	mheiman	Edited without comment.
3	May 1, 2022	mheiman	merge authors
2	August 28, 2008	RenameBot	fix author name
1	April 1, 2008		initial import