http://gcc.gnu.org/bugzilla/show_bug.cgi?id=56454
Manuel López-Ibáñez <manu at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |manu at gcc dot gnu.org
--- Comment #8 from Manuel López-Ibáñez <manu at gcc dot gnu.org> 2013-02-26
08:40:51 UTC ---
(In reply to comment #7)
> Also, we are not removing the old name, we are just documenting it as
> deprecated.
> Which means that it will stay there for some number of releases.
Why not accept it silently and leave them there forever? And create a new alias
in GCC without removing the current one?
