>>>>> "David" == David Daney <ddaney@avtrex.com> writes: >>> Either way is ok by gcc standards, fwiw. >> I thought I remember someone complaining about >> this but maybe I was just imagining it. Nice to know. David> The important thing is that the patch does not get mangled. Yeah. The official policy is here: http://gcc.gnu.org/contribute.html#patches Tom