[gawk-diffs] [SCM] gawk branch, porting, updated. gawk-4.1.0-3767-g837fe1e

[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  837fe1ef85e20c131a886c2bb54da10060940d47 (commit)
       via  d53cdebbadffcfdde43dfeb3ddb4a61975fc608c (commit)
       via  63dafc1ea7696ea3383f970fc7eabc5f939b56ae (commit)
      from  75abd4be2a751131fb9561bb690d39ad7a2f9538 (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=837fe1ef85e20c131a886c2bb54da10060940d47

commit 837fe1ef85e20c131a886c2bb54da10060940d47
Merge: 75abd4b d53cdeb
Author: Arnold D. Robbins <address@hidden>
Date:   Mon May 13 22:07:29 2019 +0300

    Merge branch 'master' into porting


http://git.sv.gnu.org/cgit/gawk.git/commit/?id=d53cdebbadffcfdde43dfeb3ddb4a61975fc608c

commit d53cdebbadffcfdde43dfeb3ddb4a61975fc608c
Merge: 3cc2114 63dafc1
Author: Arnold D. Robbins <address@hidden>
Date:   Mon May 13 22:07:17 2019 +0300

    Merge branch 'gawk-5.0-stable'


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

Summary of changes:
 doc/it/ChangeLog   |  4 ++++
 doc/it/gawktexi.in | 19 ++++++++++++++-----
 2 files changed, 18 insertions(+), 5 deletions(-)


hooks/post-receive
-- 
gawk