Z:gnu-www-ja-people--02664e-Thomas was renamed from Michae/pl

Thomas zmienił imię z Michael Bushnell w 1996 roku.