[SCM] gawk branch, master, updated. gawk-4.1.0-4037-gfafefc2

[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  fafefc27c6f2fe4759156f2c1c56a35c79e876e0 (commit)
       via  244853b8443ecba49e84f2f527ceb386b8628e9a (commit)
      from  e0a0c58f6373ff5b9ae4bd3c0e5c68e6596395bf (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=fafefc27c6f2fe4759156f2c1c56a35c79e876e0

commit fafefc27c6f2fe4759156f2c1c56a35c79e876e0
Merge: e0a0c58 244853b
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Thu Jul 9 22:25:10 2020 +0300

    Merge branch 'gawk-5.1-stable'


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

Summary of changes:
 awkgram.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)


hooks/post-receive
-- 
gawk