[gawk-diffs] [SCM] gawk branch, feature/improve-inet, updated. gawk-4.1.0-3211-g20da23a

[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  20da23ad8dee343f824d8f50d4339a626e05b31e (commit)
       via  f414221a8c5904fa2c43256a39ce2e3b1faa2214 (commit)
       via  b92de42c775ab615e2dd49aff0b66da4c2c31be4 (commit)
      from  e0c3d78bc36e4939b37c48ab5b3b49445bae1539 (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=20da23ad8dee343f824d8f50d4339a626e05b31e

commit 20da23ad8dee343f824d8f50d4339a626e05b31e
Merge: e0c3d78 f414221
Author: Arnold D. Robbins <address@hidden>
Date:   Thu May 31 17:35:30 2018 +0300

    Merge branch 'master' into feature/improve-inet


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

Summary of changes:
 doc/ChangeLog   |   6 +
 doc/gawk.info   | 791 ++++++++++++++++++++++++++++----------------------------
 doc/gawk.texi   |  11 +-
 doc/gawktexi.in |  11 +-
 4 files changed, 414 insertions(+), 405 deletions(-)


hooks/post-receive
-- 
gawk