Re: [PATCH] gawk.1: A few minor fixes in the manual

[arnold]

Eli Zaretskii <eliz@gnu.org> wrote:

> > Date: Mon, 08 Jun 2020 22:23:37 +0300
> > From: Arnold Robbins <arnold@skeeve.com>
> > 
> > Has your paperwork been finished yet?
>
> It seems so: Bjarni's assignment is on file.

Thanks for the update.  I may have gotten cc'ed on this (I drown in email).

I will get the man page fixes in soon.

Thanks!

Arnold