[gawk-diffs] [SCM] gawk branch, porting, updated. gawk-4.1.0-3784-g1273ec9

[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  1273ec9675ffd73a248c1d6b217c5d4b73d9a903 (commit)
       via  991f2429a2319d355ee00586e4033f53dcc1b12d (commit)
       via  0ce140454c7f60362f93dbf12928adcceadf9f76 (commit)
       via  063e134d439a80a26c2fb8ba08cc319e912e7d0c (commit)
      from  20294766fb25e522d63176bfada0be33e89c7d0c (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=1273ec9675ffd73a248c1d6b217c5d4b73d9a903

commit 1273ec9675ffd73a248c1d6b217c5d4b73d9a903
Merge: 2029476 991f242
Author: Arnold D. Robbins <address@hidden>
Date:   Thu Jun 6 20:23:58 2019 +0300

    Merge branch 'master' into porting


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

Summary of changes:
 ChangeLog          |  4 ++++
 doc/it/ChangeLog   |  4 ++++
 doc/it/gawktexi.in | 38 ++++++++++++++++++++++----------------
 main.c             |  2 +-
 4 files changed, 31 insertions(+), 17 deletions(-)


hooks/post-receive
-- 
gawk