Diff gcc-config-2.12.1 with a gcc-config-2.12.2

Thank you!