[gawk-diffs] [SCM] gawk branch, porting, updated. gawk-4.1.0-3827-g581f7fc

[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  581f7fc5907336e55fe5614ed8fe01bb5d574948 (commit)
       via  407990ecccabeffc152c2e7f270b359b3efdd81e (commit)
       via  4a6b14b777a1738848b8048f1c8f4a0e528bb6b2 (commit)
       via  48df540537a97c90c408fc614d3b11d11abbab27 (commit)
       via  ae1139c068702ede2d35002bdd14199a2c9eb4d8 (commit)
      from  341fcf299cf925e3671b4208d1d5be35ab8cbb11 (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=581f7fc5907336e55fe5614ed8fe01bb5d574948

commit 581f7fc5907336e55fe5614ed8fe01bb5d574948
Merge: 341fcf2 407990e
Author: Arnold D. Robbins <address@hidden>
Date:   Tue Jul 9 22:08:09 2019 +0300

    Merge branch 'master' into porting


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

Summary of changes:
 ChangeLog          | 12 ++++++++++++
 doc/it/ChangeLog   |  4 ++++
 doc/it/gawktexi.in | 44 ++++++++++++++++++++++++++++----------------
 gawkapi.h          | 13 ++++++++-----
 4 files changed, 52 insertions(+), 21 deletions(-)


hooks/post-receive
-- 
gawk