[gawk-diffs] [SCM] gawk branch, porting, updated. gawk-4.1.0-3787-g6e2af09

[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  6e2af0972fe0b2e8aff454c31cf928ec057d16df (commit)
       via  a13ec1e8d8d78c2cfa3c66ca17fe020eff3c71f4 (commit)
       via  e43c786c285a0757b7db71cbc79a66e791829345 (commit)
      from  1273ec9675ffd73a248c1d6b217c5d4b73d9a903 (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=6e2af0972fe0b2e8aff454c31cf928ec057d16df

commit 6e2af0972fe0b2e8aff454c31cf928ec057d16df
Merge: 1273ec9 a13ec1e
Author: Arnold D. Robbins <address@hidden>
Date:   Tue Jun 11 22:19:00 2019 +0300

    Merge branch 'master' into porting


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

Summary of changes:
 doc/ChangeLog   |    7 +
 doc/gawk.info   | 1090 ++++++++++++++++++++++++++++---------------------------
 doc/gawk.texi   |    5 +
 doc/gawktexi.in |    5 +
 4 files changed, 565 insertions(+), 542 deletions(-)


hooks/post-receive
-- 
gawk