[gawk-diffs] [SCM] gawk branch, feature/improve-inet, updated. gawk-4.1.0-3976-geb1efb8

[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  eb1efb8d53f149f2e560ab6e79e55e8ea81fece4 (commit)
       via  d53cdebbadffcfdde43dfeb3ddb4a61975fc608c (commit)
       via  63dafc1ea7696ea3383f970fc7eabc5f939b56ae (commit)
      from  71e61fdb0a41ddce235ab6f530657aa3aa4db1b0 (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=eb1efb8d53f149f2e560ab6e79e55e8ea81fece4

commit eb1efb8d53f149f2e560ab6e79e55e8ea81fece4
Merge: 71e61fd d53cdeb
Author: Arnold D. Robbins <address@hidden>
Date:   Mon May 13 22:07:55 2019 +0300

    Merge branch 'master' into feature/improve-inet


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

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


hooks/post-receive
-- 
gawk