[SCM] gawk branch, feature/improve-inet, updated. gawk-4.1.0-4143-g30bd7e0

[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  30bd7e0930f381d7f09c772d3a51f8fa24ea7cec (commit)
       via  d0b68138521e670178068999dc308ce5beace7ef (commit)
       via  3611609a48ea18cebb51a195bc32f7dbb7209d6e (commit)
       via  ca715d7d87dc4ab351af07fc9eac0e848866f6a7 (commit)
      from  2a063982349a4be55cebc1443887189dfced883e (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=30bd7e0930f381d7f09c772d3a51f8fa24ea7cec

commit 30bd7e0930f381d7f09c772d3a51f8fa24ea7cec
Merge: 2a06398 d0b6813
Author: Arnold D. Robbins <address@hidden>
Date:   Wed Jan 1 22:34:23 2020 +0200

    Merge branch 'master' into feature/improve-inet


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

Summary of changes:
 doc/ChangeLog      |   5 +
 doc/gawk.info      | 515 +++++++++++++++++++++++++++--------------------------
 doc/gawk.texi      |  26 ++-
 doc/gawktexi.in    |  26 ++-
 doc/it/ChangeLog   |   4 +
 doc/it/gawktexi.in |  18 ++
 6 files changed, 337 insertions(+), 257 deletions(-)


hooks/post-receive
-- 
gawk