[SCM] gawk branch, master, updated. gawk-4.1.0-4014-g2a1343b

[Arnold Robbins]

This is an automated email from the git hooks/post-receive script. It was
generated because a ref change was pushed to the repository containing
the project "gawk".

The branch, master has been updated
       via  2a1343b39f457d97bafb34dc3bd9ed0b3daf2b68 (commit)
       via  c93888d0bc6a1170edaac3f8cee4e13aac2abda9 (commit)
      from  c5da6de2f300f371d035d9a43af984f170124825 (commit)

Those revisions listed above that are new to this repository have
not appeared on any other notification email; so we list those
revisions in full, below.

- Log -----------------------------------------------------------------
http://git.sv.gnu.org/cgit/gawk.git/commit/?id=2a1343b39f457d97bafb34dc3bd9ed0b3daf2b68

commit 2a1343b39f457d97bafb34dc3bd9ed0b3daf2b68
Merge: c5da6de c93888d
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Thu Jul 2 18:29:38 2020 +0300

    Merge branch 'gawk-5.1-stable'


-----------------------------------------------------------------------

Summary of changes:
 doc/ChangeLog  | 1 +
 doc/awkcard.in | 5 +++--
 2 files changed, 4 insertions(+), 2 deletions(-)


hooks/post-receive
-- 
gawk