[UPDATE] [mittel] Red Hat Enterprise Linux (virtuoso-opensource): Schwachstelle ermöglicht Denial of Service