[SCM] gawk branch, porting, updated. gawk-4.1.0-3978-g9a93618

[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  9a936187846f2ecd975a8fbb050f66324c4b766d (commit)
       via  a28cbc85b64d5f8a3d318cea5c30bdb57338256c (commit)
      from  cde140200b7a4a0eba1fc665d545b1cac56226f5 (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=9a936187846f2ecd975a8fbb050f66324c4b766d

commit 9a936187846f2ecd975a8fbb050f66324c4b766d
Merge: cde1402 a28cbc8
Author: Arnold D. Robbins <address@hidden>
Date:   Sat Feb 22 20:24:41 2020 +0200

    Merge branch 'master' into porting


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

Summary of changes:
 awklib/eg/lib/getopt.awk |  94 ++++--
 doc/ChangeLog            |   5 +
 doc/gawk.info            | 773 ++++++++++++++++++++++++++---------------------
 doc/gawk.texi            | 214 +++++++++----
 doc/gawktexi.in          | 214 +++++++++----
 5 files changed, 815 insertions(+), 485 deletions(-)


hooks/post-receive
-- 
gawk