Hi Ian, On Sun, 3 Nov 2013, Iain Sandoe wrote: > The option is apparently undocumented in the current User's manual, > hence, there are no adjustments to documentation.
I cannot approve the patch, but if it goes in that way or a similar one I recommend to add a short note to htdocs/gcc-4.9/changes.html, just for those who may be using it. Gerald
