[SCM] gawk branch, porting, updated. gawk-4.1.0-4324-g001d6c8

[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  001d6c8b1f8d583f9d43cb7878aa85ad1865608c (commit)
       via  2020ca77388eb288f1fa7ac1b2a8fecf970b2290 (commit)
       via  fb56b3b1ac97ff172d8e4b72f4b6aa90a9bfccd5 (commit)
       via  bff808d84a237098ef9b6f542f45a8442a0f536f (commit)
      from  c8b3677ed68b27696cce47628f333ebf4523448d (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=001d6c8b1f8d583f9d43cb7878aa85ad1865608c

commit 001d6c8b1f8d583f9d43cb7878aa85ad1865608c
Merge: c8b3677 2020ca7
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Fri Oct 9 14:40:30 2020 +0300

    Merge branch 'master' into porting


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

Summary of changes:
 doc/ChangeLog           |   4 +
 doc/gawk.info           | 652 ++++++++++++++++++++++++------------------------
 doc/gawk.texi           |   3 +-
 doc/gawktexi.in         |   3 +-
 old-extension/ChangeLog |   4 +
 old-extension/notes.mbx |  86 +++++++
 test/ChangeLog          |   7 +
 test/profile2.ok        |  88 +++----
 test/xref.awk           |   8 +-
 9 files changed, 481 insertions(+), 374 deletions(-)
 create mode 100644 old-extension/notes.mbx


hooks/post-receive
-- 
gawk