[SCM] gawk branch, porting, updated. gawk-4.1.0-3913-g8cec87c

[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  8cec87cd91a5e27e408bbcb4e19ab5ef3078a913 (commit)
       via  3e0eec7b43484fc639d8e78d3f64ae10939257ee (commit)
       via  fd610c79b51ecd3be2ad3af9169b030cd53927ac (commit)
       via  204dfd4460f499ade13a56152d2b21dcb287ace9 (commit)
      from  fee8bb6253c11ab979f1fc896ff25231b2c3ed8e (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=8cec87cd91a5e27e408bbcb4e19ab5ef3078a913

commit 8cec87cd91a5e27e408bbcb4e19ab5ef3078a913
Merge: fee8bb6 3e0eec7
Author: Arnold D. Robbins <address@hidden>
Date:   Thu Nov 21 22:03:37 2019 +0200

    Merge branch 'master' into porting


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

Summary of changes:
 ChangeLog                        |   4 +
 config.rpath                     |  10 +--
 doc/ChangeLog                    |   4 +
 doc/gawk.info                    | 173 ++++++++++++++++++++-------------------
 doc/gawk.texi                    |  10 +++
 doc/gawktexi.in                  |  10 +++
 extension/ChangeLog              |   4 +
 extension/build-aux/ChangeLog    |   4 +
 extension/build-aux/ar-lib       |   4 +-
 extension/build-aux/config.rpath |  10 +--
 extension/time.3am               |  13 ++-
 support/ChangeLog                |   4 +
 support/regexec.c                |   7 +-
 13 files changed, 160 insertions(+), 97 deletions(-)


hooks/post-receive
-- 
gawk