[gawk-diffs] [SCM] gawk branch, feature/improve-inet, updated. gawk-4.1.0-4031-g5622675

[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, feature/improve-inet has been updated
       via  5622675de578036d288830d07057083432a05bde (commit)
       via  43d85982525f24742a14b30a888d224f961a01c0 (commit)
       via  a6ac5b92e5a05395e5943c56a9670a8f810247d5 (commit)
      from  1321b19149abb923d9b1ca3e419acb7ca5a149d3 (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=5622675de578036d288830d07057083432a05bde

commit 5622675de578036d288830d07057083432a05bde
Merge: 1321b19 43d8598
Author: Arnold D. Robbins <address@hidden>
Date:   Fri Jul 5 11:56:39 2019 +0300

    Merge branch 'master' into feature/improve-inet


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

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


hooks/post-receive
-- 
gawk