[gawk-diffs] [SCM] gawk branch, feature/improve-inet, updated. gawk-4.1.0-4103-g1b862a6

[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  1b862a61e421c01788b0bc4c9fc5d517e515dcf8 (commit)
       via  9c626e168999cb6072a31e901c066627a6bdcbad (commit)
       via  199bd468bee3f038e03d7186de0d8510c9c72274 (commit)
      from  b1e163c93116a95a8f73a6410c5a3773934a9664 (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=1b862a61e421c01788b0bc4c9fc5d517e515dcf8

commit 1b862a61e421c01788b0bc4c9fc5d517e515dcf8
Merge: b1e163c 9c626e1
Author: Arnold D. Robbins <address@hidden>
Date:   Wed Oct 16 20:59:41 2019 -0400

    Merge branch 'master' into feature/improve-inet


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

Summary of changes:
 doc/ChangeLog           |    6 +
 doc/awkcard.in          |    1 -
 doc/gawk.info           | 1104 ++++++++++++++++++++++++-----------------------
 doc/gawk.texi           |   10 +-
 doc/gawktexi.in         |   10 +-
 extension/ChangeLog     |    5 +
 extension/filefuncs.3am |    3 +-
 7 files changed, 581 insertions(+), 558 deletions(-)


hooks/post-receive
-- 
gawk