Not exactly the most exciting patches, and certainly not worth more than one ping, but:
fixincludes copyright http://gcc.gnu.org/ml/gcc-patches/2013-01/msg00442.html http://gcc.gnu.org/ml/gcc-patches/2013-01/msg00443.html libgcc copyright http://gcc.gnu.org/ml/gcc-patches/2013-01/msg00642.html libdecnumber copyright http://gcc.gnu.org/ml/gcc-patches/2013-01/msg00647.html Thanks, Richard
