[SCM] gawk branch, master, updated. gawk-4.1.0-4057-g1d62718

[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  1d62718f4b4abaa030ff3b34723fc62c7c231f78 (commit)
       via  44a30c40ecc28040f44944d2152919c643274ed4 (commit)
       via  88afd391c936c4fb7a1ca4da3e05d43eeb1e66c5 (commit)
       via  5d3605bd4e1d13fc99b84cb5ee5de6d25ccb4c2d (commit)
      from  654019bde25f87c7954641610298299a68d267e4 (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=1d62718f4b4abaa030ff3b34723fc62c7c231f78

commit 1d62718f4b4abaa030ff3b34723fc62c7c231f78
Merge: 654019b 44a30c4
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Sun Jul 19 19:45:21 2020 +0300

    Merge branch 'gawk-5.1-stable'


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

Summary of changes:
 ChangeLog | 19 +++++++++++++++++++
 NEWS      |  2 +-
 gawkapi.h |  2 +-
 mpfr.c    |  2 +-
 4 files changed, 22 insertions(+), 3 deletions(-)


hooks/post-receive
-- 
gawk