|
From: | Gavin Smith |
Subject: | Re: [PATCH] Fix misspelling of "common" in texinfo.tex |
Date: | Sun, 15 Dec 2019 11:28:27 +0000 |
On Tue, Dec 10, 2019 at 2:25 AM Paul Eggert <address@hidden> wrote: > > * doc/texinfo.tex (commonheadfootline): > Rename from name mispelled with 'mmm' instead of 'mm’. > All uses changed. Thank you, committed.
[Prev in Thread] | Current Thread | [Next in Thread] |