Red Hat benoemt Eric Shander tot Executive Vice President en Chief Financial Officer