[gawk-diffs] [SCM] gawk branch, porting, updated. gawk-4.1.0-3847-gcd766a4

[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  cd766a40dfbb554c5de337e1ac4c20e5dba015f5 (commit)
       via  c5d33ce4a8291a9e6d9690cbf68b108c7584a12b (commit)
       via  4038710d7199a4371736fe6eea95b28ac11f2145 (commit)
      from  7f711bcdd9f832cbef3df74be3ffada94ebc717e (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=cd766a40dfbb554c5de337e1ac4c20e5dba015f5

commit cd766a40dfbb554c5de337e1ac4c20e5dba015f5
Merge: 7f711bc c5d33ce
Author: Arnold D. Robbins <address@hidden>
Date:   Wed Aug 7 21:03:45 2019 +0300

    Merge branch 'master' into porting


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

Summary of changes:
 README_d/ChangeLog          |    4 +
 README_d/README.development |   98 ++++
 doc/ChangeLog               |    6 +
 doc/gawk.info               | 1107 ++++++++++++++++++++++---------------------
 doc/gawk.texi               |   50 +-
 doc/gawktexi.in             |   50 +-
 6 files changed, 753 insertions(+), 562 deletions(-)
 create mode 100644 README_d/README.development


hooks/post-receive
-- 
gawk