[gcc] Deleted branch 'mikael/heads/base_patch' in namespace 'refs/users'

[Mikael Morin via Gcc-cvs]

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

 3a1d4eb1abd7... gimple-simulate: Sauvegarde