Red Hat updates its private-PaaS offering