[SCM] gawk branch, porting, updated. gawk-4.1.0-4195-gba324ff

[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, porting has been updated
       via  ba324ff16254d70c19c625991b8cdf8b95e4a936 (commit)
       via  1d62718f4b4abaa030ff3b34723fc62c7c231f78 (commit)
       via  44a30c40ecc28040f44944d2152919c643274ed4 (commit)
       via  88afd391c936c4fb7a1ca4da3e05d43eeb1e66c5 (commit)
       via  5d3605bd4e1d13fc99b84cb5ee5de6d25ccb4c2d (commit)
      from  3f240915df8eb1b1572a109a26b92e0bd7c39137 (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=ba324ff16254d70c19c625991b8cdf8b95e4a936

commit ba324ff16254d70c19c625991b8cdf8b95e4a936
Merge: 3f24091 1d62718
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Sun Jul 19 19:45:43 2020 +0300

    Merge branch 'master' into porting


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

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


hooks/post-receive
-- 
gawk