[gawk-diffs] [SCM] gawk branch, master, updated. gawk-4.1.0-3773-gb19cc51

[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  b19cc5185fbb54d8893d84bf7b29192069935813 (commit)
       via  1ed524af04eac4e709f43cda8a564734d733ae12 (commit)
       via  794b65d03c7274845badba291160f261fa2abf9e (commit)
       via  5f6d079dd752b25f29a37a34939951431c8ee43b (commit)
       via  70fcfb0c2e0e0e8a97a885aaa7266f8abeafec0c (commit)
       via  6c914d2dc22598cf1735088237f6fc165e9958f6 (commit)
      from  d5a252444627be4d98cd6b49b948f159512952bf (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=b19cc5185fbb54d8893d84bf7b29192069935813

commit b19cc5185fbb54d8893d84bf7b29192069935813
Merge: d5a2524 1ed524a
Author: Arnold D. Robbins <address@hidden>
Date:   Fri Jun 21 11:52:52 2019 +0300

    Merge branch 'gawk-5.0-stable'


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

Summary of changes:
 ChangeLog                        |  11 +-
 NEWS                             |   2 +-
 README.git                       |   3 +-
 awkgram.c                        |   1 +
 awkgram.y                        |   1 +
 config.guess                     |  89 ++--
 config.sub                       |   4 +-
 doc/ChangeLog                    |  10 +
 doc/gawk.info                    | 952 +++++++++++++++++++--------------------
 doc/gawk.texi                    |   7 -
 doc/gawktexi.in                  |   7 -
 doc/texinfo.tex                  | 528 +++++++++-------------
 extension/build-aux/ChangeLog    |   4 +
 extension/build-aux/config.guess |  89 ++--
 extension/build-aux/config.sub   |   4 +-
 15 files changed, 836 insertions(+), 876 deletions(-)


hooks/post-receive
-- 
gawk