[SCM] gawk branch, feature/improve-inet, updated. gawk-4.1.0-5945-g9ebea8c5

[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  9ebea8c5be1727163ac836a7caef9edeaa1c07d8 (commit)
       via  0dc720c325bd76dc6bebc48cd151905e73ff7ce6 (commit)
       via  5d6a270d4929e7b24d7cd41c59d75bcd1c93a868 (commit)
      from  37ead678bd03ae2ba317302b7ca5fb0d518c646d (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=9ebea8c5be1727163ac836a7caef9edeaa1c07d8

commit 9ebea8c5be1727163ac836a7caef9edeaa1c07d8
Merge: 37ead678 0dc720c3
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Tue Apr 4 08:59:15 2023 +0300

    Merge branch 'master' into feature/improve-inet


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

Summary of changes:
 doc/ChangeLog   |   6 +
 doc/gawk.info   | 768 ++++++++++++++++++++++++++++----------------------------
 doc/gawk.texi   |   6 +-
 doc/gawktexi.in |   6 +-
 4 files changed, 396 insertions(+), 390 deletions(-)


hooks/post-receive
-- 
gawk