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