[SCM] gawk branch, porting, updated. gawk-4.1.0-5142-gc0fa1b7d

[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  c0fa1b7d08342324eecd6bf374d69e795fe70c7a (commit)
       via  37989990f95388b07ca727d9cda9c0a540d27f9a (commit)
       via  12b052d0b466b3cbac905bead7c635c5d9a96c9c (commit)
       via  baf8b9659765f8e8da75a084059a0724555a767a (commit)
      from  8f415c1c936c3e5004a2c1e31ba49edee0392b94 (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=c0fa1b7d08342324eecd6bf374d69e795fe70c7a

commit c0fa1b7d08342324eecd6bf374d69e795fe70c7a
Merge: 8f415c1c 37989990
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Tue Jul 5 11:21:23 2022 +0300

    Merge branch 'master' into porting


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

Summary of changes:
 ChangeLog             |   6 +
 NEWS                  |   3 +
 README                |  15 +-
 README_d/ChangeLog    |   7 +
 README_d/README.gcc-3 |  11 -
 README_d/README.mpfr  |  14 +
 README_d/README.os2   |  57 ----
 README_d/README.pc    |  10 +-
 awk.h                 |   4 +-
 awkgram.y             |  11 -
 doc/ChangeLog         |   9 +
 doc/gawk.info         | 863 +++++++++++++++++++++++++-------------------------
 doc/gawk.texi         |  43 ++-
 doc/gawktexi.in       |  43 ++-
 gawkmisc.c            |   2 +-
 io.c                  |  56 +---
 main.c                |   2 -
 missing_d/ChangeLog   |   4 +
 missing_d/snprintf.c  |   4 +-
 nonposix.h            |  18 +-
 pc/ChangeLog          |   5 +
 pc/Makefile           |  46 +--
 pc/config.h           |   8 -
 pc/config.sed         |   8 -
 pc/gawkmisc.pc        | 263 +--------------
 25 files changed, 588 insertions(+), 924 deletions(-)
 delete mode 100644 README_d/README.gcc-3
 delete mode 100644 README_d/README.os2


hooks/post-receive
-- 
gawk