[gawk-diffs] [SCM] gawk branch, porting, updated. gawk-4.1.0-3851-g00b89da

[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  00b89da94c7f95c635314ddfd88b5bc937f11685 (commit)
       via  631c60699f26dc12f614998b646ab3f213e2a847 (commit)
      from  ad52a6652aeda43258ef39bb54776de6a86068a5 (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=00b89da94c7f95c635314ddfd88b5bc937f11685

commit 00b89da94c7f95c635314ddfd88b5bc937f11685
Merge: ad52a66 631c606
Author: Arnold D. Robbins <address@hidden>
Date:   Sun Aug 11 15:10:23 2019 +0300

    Merge branch 'master' into porting


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

Summary of changes:
 doc/ChangeLog   |    7 +
 doc/gawk.info   | 1120 ++++++++++++++++++++++++++++---------------------------
 doc/gawk.texi   |    9 +
 doc/gawktexi.in |    9 +
 4 files changed, 588 insertions(+), 557 deletions(-)


hooks/post-receive
-- 
gawk