How to change email address

I have a user who wants to switch his work email currently used on his account to a personal email address. How do we do this?

Many thanks