[SCM] gawk branch, master, updated. gawk-4.1.0-4026-gb1400a2

[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  b1400a29ad5776b2e0c867a171b466a05605461e (commit)
       via  96a1c9be7fced9d099dae2354d7d643ce68b8903 (commit)
      from  328708c8205cbd211ca1523d6f56bd64fd1389f9 (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=b1400a29ad5776b2e0c867a171b466a05605461e

commit b1400a29ad5776b2e0c867a171b466a05605461e
Merge: 328708c 96a1c9b
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Tue Jul 7 21:59:20 2020 +0300

    Merge branch 'gawk-5.1-stable'


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

Summary of changes:
 ChangeLog          |  6 ++++++
 mpfr.c             |  5 ++++-
 test/ChangeLog     |  5 +++++
 test/Makefile.am   |  5 ++++-
 test/Makefile.in   | 10 +++++++++-
 test/Maketests     |  5 +++++
 test/mpfrcase2.awk | 19 +++++++++++++++++++
 test/mpfrcase2.in  |  1 +
 test/mpfrcase2.ok  |  1 +
 9 files changed, 54 insertions(+), 3 deletions(-)
 create mode 100644 test/mpfrcase2.awk
 create mode 100644 test/mpfrcase2.in
 create mode 100644 test/mpfrcase2.ok


hooks/post-receive
-- 
gawk