Выручка Red Hat во втором квартале 2017 финансового года выросла на 19%