That is great news!
You could do a couple of things, you could join WikiTree, if your not already a member and edit the profile adding the parents which would be helpful to the community.
Or you could post the information as a comment under this question so we can add it to his profile. That would be most helpful as well. We would need their dates of birth and death, locations and any other information you might have.