Red Hat Enterprise Linux: Updated devtoolset-3 packages that fix two bugs are now available for Red Hat
Developer Toolset 3.1.