[jenkins only] Mail address of users is now changable in the user management

Jenkins PR for #12921