[gawk-diffs] [SCM] gawk branch, porting, updated. gawk-4.1.0-3822-g341fcf2

[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  341fcf299cf925e3671b4208d1d5be35ab8cbb11 (commit)
       via  43d85982525f24742a14b30a888d224f961a01c0 (commit)
       via  a6ac5b92e5a05395e5943c56a9670a8f810247d5 (commit)
      from  7af968a34801e4fb5e5e82ed6c0a4752e9c86914 (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=341fcf299cf925e3671b4208d1d5be35ab8cbb11

commit 341fcf299cf925e3671b4208d1d5be35ab8cbb11
Merge: 7af968a 43d8598
Author: Arnold D. Robbins <address@hidden>
Date:   Fri Jul 5 11:56:06 2019 +0300

    Merge branch 'master' into porting


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

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


hooks/post-receive
-- 
gawk