[SCM] gawk branch, porting, updated. gawk-4.1.0-5416-g18ab0ff6

[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, porting has been updated
       via  18ab0ff6e7d2b7d2a7df44436636640c59282ad1 (commit)
       via  78a50a92e1d8a9199e23ad19a9f29ba8728d8509 (commit)
       via  c0c9f468b12a79ad8277f0e2b9ff7d42f48490bf (commit)
       via  320f0d330b77eae57981a289f44d0ee8823a82d7 (commit)
      from  9a459fe1f713a7e584aa4c3d33892f3159ea6bd3 (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=18ab0ff6e7d2b7d2a7df44436636640c59282ad1

commit 18ab0ff6e7d2b7d2a7df44436636640c59282ad1
Merge: 9a459fe1 78a50a92
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Tue Oct 25 07:26:23 2022 +0300

    Merge branch 'master' into porting


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

Summary of changes:
 ChangeLog          |  5 +++++
 doc/it/ChangeLog   |  4 ++++
 doc/it/gawktexi.in |  7 ++++---
 interpret.h        | 30 +++++++++++++++---------------
 4 files changed, 28 insertions(+), 18 deletions(-)


hooks/post-receive
-- 
gawk