Re: [PATCH] Fix misspelling of "common" in texinfo.tex

[Gavin Smith]

On Tue, Dec 10, 2019 at 2:25 AM Paul Eggert <egg...@cs.ucla.edu> wrote:
>
> * doc/texinfo.tex (commonheadfootline):
> Rename from name mispelled with 'mmm' instead of 'mm’.
> All uses changed.

Thank you, committed.