On Sun, 3 Apr 2011, Eric Botcazou wrote: > Thanks. However, "removed" is a bit of a misnomer since the option still > exists in the compiler (the removal from gcc-interface/lang.opt is purely > cosmetical). Moreover, 12.5% is exactly 1/8. So I'd suggest:
Looks good. And sorry for stealing that 0.5%. :-) Gerald
