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