[gawk-diffs] [SCM] gawk branch, master, updated. gawk-4.1.0-3734-g5fcb16c

[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, master has been updated
       via  5fcb16c45d4f282557411479194c61e30d3b63cd (commit)
       via  2a1cc6b172b589d64166c2350d85f512c648a2ca (commit)
       via  323aec85713a8eb95290c3af806eb611c5d61798 (commit)
      from  ee101d0a87ea73f64a6743cf09118547ac6038f5 (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=5fcb16c45d4f282557411479194c61e30d3b63cd

commit 5fcb16c45d4f282557411479194c61e30d3b63cd
Merge: ee101d0 2a1cc6b
Author: Arnold D. Robbins <address@hidden>
Date:   Sun May 5 20:34:23 2019 +0300

    Merge branch 'gawk-5.0-stable'


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

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