[gawk-diffs] [SCM] gawk branch, master, updated. gawk-4.1.0-3757-ga13ec1e

[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  a13ec1e8d8d78c2cfa3c66ca17fe020eff3c71f4 (commit)
       via  e43c786c285a0757b7db71cbc79a66e791829345 (commit)
      from  991f2429a2319d355ee00586e4033f53dcc1b12d (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=a13ec1e8d8d78c2cfa3c66ca17fe020eff3c71f4

commit a13ec1e8d8d78c2cfa3c66ca17fe020eff3c71f4
Merge: 991f242 e43c786
Author: Arnold D. Robbins <address@hidden>
Date:   Tue Jun 11 22:18:42 2019 +0300

    Merge branch 'gawk-5.0-stable'


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

Summary of changes:
 doc/ChangeLog   |    7 +
 doc/gawk.info   | 1090 ++++++++++++++++++++++++++++---------------------------
 doc/gawk.texi   |    5 +
 doc/gawktexi.in |    5 +
 4 files changed, 565 insertions(+), 542 deletions(-)


hooks/post-receive
-- 
gawk