[gawk-diffs] [SCM] gawk branch, feature/improve-inet, updated. gawk-4.1.0-4036-gb13dfe9

[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  b13dfe9294487cc230eef2be47a71b8656130860 (commit)
       via  407990ecccabeffc152c2e7f270b359b3efdd81e (commit)
       via  4a6b14b777a1738848b8048f1c8f4a0e528bb6b2 (commit)
       via  48df540537a97c90c408fc614d3b11d11abbab27 (commit)
       via  ae1139c068702ede2d35002bdd14199a2c9eb4d8 (commit)
      from  5622675de578036d288830d07057083432a05bde (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=b13dfe9294487cc230eef2be47a71b8656130860

commit b13dfe9294487cc230eef2be47a71b8656130860
Merge: 5622675 407990e
Author: Arnold D. Robbins <address@hidden>
Date:   Tue Jul 9 22:08:38 2019 +0300

    Merge branch 'master' into feature/improve-inet


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

Summary of changes:
 ChangeLog          | 12 ++++++++++++
 doc/it/ChangeLog   |  4 ++++
 doc/it/gawktexi.in | 44 ++++++++++++++++++++++++++++----------------
 gawkapi.h          | 13 ++++++++-----
 4 files changed, 52 insertions(+), 21 deletions(-)


hooks/post-receive
-- 
gawk