Re: [PATCH] Fix typos in a manual

[Andrej Shadura]

Hi,

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

Thanks, applied.

-- 
Cheers,
  Andrej