[gawk-diffs] [SCM] gawk branch, porting, updated. gawk-4.1.0-3754-g36a0545

[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  36a0545ac1858fa3e9fa41ba0ce48663e805f45a (commit)
       via  5fcb16c45d4f282557411479194c61e30d3b63cd (commit)
       via  2a1cc6b172b589d64166c2350d85f512c648a2ca (commit)
       via  323aec85713a8eb95290c3af806eb611c5d61798 (commit)
      from  fdbac0a95a538e9b3501214f0aabba60eee779e7 (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=36a0545ac1858fa3e9fa41ba0ce48663e805f45a

commit 36a0545ac1858fa3e9fa41ba0ce48663e805f45a
Merge: fdbac0a 5fcb16c
Author: Arnold D. Robbins <address@hidden>
Date:   Sun May 5 20:34:39 2019 +0300

    Merge branch 'master' into porting


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

Summary of changes:
 ChangeLog       |   5 +++
 doc/ChangeLog   |   6 +++
 doc/gawk.info   | 132 +++++++++++++++++++++++++++++---------------------------
 doc/gawk.texi   |   8 +++-
 doc/gawktexi.in |   8 +++-
 ext.c           |   2 +-
 6 files changed, 92 insertions(+), 69 deletions(-)


hooks/post-receive
-- 
gawk