[gcc] Deleted branch 'mikael/heads/pr127613_v04.01' in namespace 'refs/users'

[Mikael Morin via Gcc-cvs]

The branch 'mikael/heads/pr127613_v04.01' in namespace 'refs/users' was deleted.
It previously pointed to:

 ded51c2bed6f... Propagation contiguous aux variables polymorphes.

Diff:

!!! WARNING: THE FOLLOWING COMMITS ARE NO LONGER ACCESSIBLE (LOST):
-------------------------------------------------------------------

  ded51c2... Propagation contiguous aux variables polymorphes.
  e74b855... Ajout test
  be25c58... Sauvegarde modifs