[SCM] gawk branch, porting, updated. gawk-4.1.0-4156-gff8d1ea

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

commit ff8d1eaa948c8d9a826fc36055d577fd5c5fc09b
Merge: b10f6ae b1400a2
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Tue Jul 7 21:59:39 2020 +0300

    Merge branch 'master' into porting


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

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