[gawk-diffs] [SCM] gawk branch, porting, updated. gawk-4.1.0-3886-g49210fe

[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  49210fe13fccd7730c5a4a6cb82fb6376e33a4ac (commit)
       via  c5104f9f926b793234bde9cb05508b818ed9f9aa (commit)
       via  6775b9c4de4050cd65a89835d8f337c00ede5e54 (commit)
       via  f4795f119a1c02ccf92469296a77a9e6d10d3757 (commit)
       via  f6c499e45c2856d6b0fdee24d1f761a32539fcc6 (commit)
      from  32e0968ba82802ddfdd2fa223b8f31ee20400313 (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=49210fe13fccd7730c5a4a6cb82fb6376e33a4ac

commit 49210fe13fccd7730c5a4a6cb82fb6376e33a4ac
Merge: 32e0968 c5104f9
Author: Arnold D. Robbins <address@hidden>
Date:   Fri Oct 4 14:48:11 2019 +0300

    Merge branch 'master' into porting


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

Summary of changes:
 ChangeLog                        |    8 +
 config.guess                     |    5 +-
 config.sub                       |    2 +-
 custom.h                         |    5 +
 doc/ChangeLog                    |    4 +
 doc/it/ChangeLog                 |    6 +
 doc/it/gawktexi.in               | 6048 ++++++++++++++++++++------------------
 doc/it/sidebar.awk               |    2 +-
 doc/it/texinfo.tex               |    7 +-
 doc/texinfo.tex                  |  231 +-
 extension/build-aux/ChangeLog    |    4 +
 extension/build-aux/config.guess |    5 +-
 extension/build-aux/config.sub   |    2 +-
 extension/build-aux/install-sh   |   13 +-
 install-sh                       |   13 +-
 15 files changed, 3296 insertions(+), 3059 deletions(-)


hooks/post-receive
-- 
gawk