[SCM] gawk branch, porting, updated. gawk-4.1.0-4140-g3d0c39b

[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  3d0c39bfc06d9b8788413b9b5d7f9a87a921269f (commit)
       via  2a1343b39f457d97bafb34dc3bd9ed0b3daf2b68 (commit)
       via  c93888d0bc6a1170edaac3f8cee4e13aac2abda9 (commit)
      from  f3097c95b83c162104e9d6786aba150754f82bf5 (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=3d0c39bfc06d9b8788413b9b5d7f9a87a921269f

commit 3d0c39bfc06d9b8788413b9b5d7f9a87a921269f
Merge: f3097c9 2a1343b
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Thu Jul 2 18:30:29 2020 +0300

    Merge branch 'master' into porting


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

Summary of changes:
 doc/ChangeLog  | 1 +
 doc/awkcard.in | 5 +++--
 2 files changed, 4 insertions(+), 2 deletions(-)


hooks/post-receive
-- 
gawk