Re: texinfo closing brace, close brace,

[Gavin Smith]

On 26 March 2016 at 19:34, Joe Dalton <joedalt...@yahoo.dk> wrote:
> Is there a difference between closing brace and close brace?

Forgot to answer this, there's no difference, and in my opinion we
should use "closing brace" consistently.