Re: [PATCH] Fix typos in a manual

"Andrej Shadura" <[email protected]> Fri, 08 Mar 2024 22:16:51 +0100

Newsgroups	gmane.comp.gnu.indent.bugs
Message-ID	<[email protected]>

Hi,

On Thu, 7 Mar 2024, at 09:12, Petr P=C3=ADsa=C5=99 wrote:
> Reported and new wording proposed by David Apps.
> <https://lists.gnu.org/archive/html/bug-indent/2024-03/msg00000.html>

Thanks, applied.

--=20
Cheers,
  Andrej