[SCM] gawk branch, porting, updated. gawk-4.1.0-4095-g002157d

[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  002157de96b0ea1268b438a4847c2b5a9f4928d7 (commit)
       via  246542232f1eeab0436ee430385fe2c1e6d98f24 (commit)
      from  f5f2de3c652e6f603f6afa8ec08160609cc4796a (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=002157de96b0ea1268b438a4847c2b5a9f4928d7

commit 002157de96b0ea1268b438a4847c2b5a9f4928d7
Merge: f5f2de3 2465422
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Wed Jun 10 06:07:03 2020 +0300

    Merge branch 'master' into porting


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

Summary of changes:
 doc/ChangeLog |  5 +++++
 doc/gawk.1    | 52 +++++++++++++++++++---------------------------------
 2 files changed, 24 insertions(+), 33 deletions(-)


hooks/post-receive
-- 
gawk