Re: gcc/doc/*texi patch ping

[Tobias Burnus]

Gerald Pfeifer wrote:
Looks fine to me. And probably a good idea for the 4.9 branch as well.

Thanks for the review! However, Jakub has already approved and committed 
it for me, just before he has branched 4.9 :-)

Tobias