Pete Dexter

Revision	When	Who	Comment

6	March 25, 2023	Lisa	merge authors
5	September 30, 2020	MARC Bot	add ids
4	April 26, 2020	Tom Morris	Add brief bio
3	April 26, 2020	Tom Morris	merge authors
2	August 31, 2008	RenameBot	fix author name
1	April 1, 2008		initial import