[SCM] gawk branch, porting, updated. gawk-4.1.0-5219-g803a8ec7

[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  803a8ec7237de9400c7ca19d9ac72c61bda136cf (commit)
       via  f1e57af42496dbbc043a02dcb039c180ac39c382 (commit)
       via  ea9b6f925647070824ce5e84ed8e5eb816578ed5 (commit)
       via  b71848d4f6ada1caade4289cc599561392f8be20 (commit)
      from  887d4392b33f74d60b4029200c110c68bacc9a4c (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=803a8ec7237de9400c7ca19d9ac72c61bda136cf

commit 803a8ec7237de9400c7ca19d9ac72c61bda136cf
Merge: 887d4392 f1e57af4
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Fri Jul 29 11:09:08 2022 +0300

    Merge branch 'master' into porting


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

Summary of changes:
 ChangeLog           |  7 +++++++
 awk.h               |  1 +
 build-aux/ChangeLog |  4 ++++
 build-aux/compile   |  1 +
 builtin.c           | 20 ++++++++++++++++++--
 io.c                |  2 +-
 6 files changed, 32 insertions(+), 3 deletions(-)


hooks/post-receive
-- 
gawk