On 3 May 2016 at 14:31, Jose E. Marchesi <[email protected]> wrote: > > So, would such changes to standards.texi be acceptable in principle? > If so, I'd be happy to have a look and see if I can find anything > else that needs fixing, and prepare an up-to-date patch. > > +1 >
​Karl said Brandon Invergo might be the person to opine. Brandon? -- http://rrt.sc3d.org
