[gawk-diffs] [SCM] gawk branch, feature/improve-inet, updated. gawk-4.1.0-3787-g5dc0981

[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  5dc09814e609dd59c5472895ea79139b821d2342 (commit)
       via  f98d137c530a92756895bb30e143579ac95c7ce8 (commit)
      from  417ffad6f52e02c8529cdd4c4d109fa2d52861be (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=5dc09814e609dd59c5472895ea79139b821d2342

commit 5dc09814e609dd59c5472895ea79139b821d2342
Merge: 417ffad f98d137
Author: Arnold D. Robbins <address@hidden>
Date:   Fri Jan 18 14:41:22 2019 +0200

    Merge branch 'master' into feature/improve-inet


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

Summary of changes:
 doc/ChangeLog   |  4 ++++
 doc/gawk.info   | 24 ++++++++++++------------
 doc/gawk.texi   | 14 +++++++-------
 doc/gawktexi.in | 14 +++++++-------
 4 files changed, 30 insertions(+), 26 deletions(-)


hooks/post-receive
-- 
gawk