Talk:Eddie Thomas (footballer, born 1932)