[gcc] Created branch 'mikael/heads/pr127612_v01' in namespace 'refs/users'

[Mikael Morin via Gcc-cvs]

The branch 'mikael/heads/pr127612_v01' was created in namespace 'refs/users' 
pointing to:

 2ee72a11cc71... Correction compil'