Red Hat Enterprise Linux: Updated devtoolset-3-oprofile packages that fix several bugs and add one
enhancement are now available for Red Hat Developer Toolset 3.1.