[SCM] gawk branch, porting, updated. gawk-4.1.0-4469-g135d173

[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  135d1736d8a387dc10071b2eb6c4916f6f41d3e1 (commit)
       via  6accefb01528b9676d39b430941c5f0319490c6e (commit)
       via  4f11f57097bd426b6706059f76e2bb9dd32b26f2 (commit)
      from  b8c375113f773ea9460ee7ee674da6f1de1bfc8d (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=135d1736d8a387dc10071b2eb6c4916f6f41d3e1

commit 135d1736d8a387dc10071b2eb6c4916f6f41d3e1
Merge: b8c3751 6accefb
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Mon Feb 8 09:25:49 2021 +0200

    Merge branch 'master' into porting


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

Summary of changes:
 NEWS | 18 ++++++++++--------
 1 file changed, 10 insertions(+), 8 deletions(-)


hooks/post-receive
-- 
gawk