Eddigi legjobb negyedévét zárta a Red Hat Inc.