On Wed, Sep 14, 2016 at 07:46:13AM -0500, Peter Bergner wrote: > On 9/14/16 5:35 AM, Segher Boessenkool wrote: > > (I hope the wording is strong enough).
> Maybe s/New ports should use LRA/New ports must use LRA/ ? Yeah maybe. Does anyone else have an opinion on this? Cc:ing gcc@... > >+ New ports should use LRA, and existing ports are encouraged to convert. > ^^ > extra space That is auto-generated, and not new :-) The various info backends do not seem to care (TeX doesn't, do any others?) Segher
