[SCM] gawk branch, master, updated. gawk-4.1.0-4146-g2020ca7

[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, master has been updated
       via  2020ca77388eb288f1fa7ac1b2a8fecf970b2290 (commit)
       via  fb56b3b1ac97ff172d8e4b72f4b6aa90a9bfccd5 (commit)
       via  bff808d84a237098ef9b6f542f45a8442a0f536f (commit)
      from  c6ed0824ce5c32b7447936252329485c07820f6a (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 -----------------------------------------------------------------
-----------------------------------------------------------------------

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