[gawk-diffs] [SCM] gawk branch, porting, updated. gawk-4.1.0-3747-g77160cb

[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  77160cb6ef37bf13971e20987a951b4e23ce3f80 (commit)
       via  7c222377f33ae12d77c69424093b3d93c1d7ee32 (commit)
       via  80d9375e27abefbec7e618bf82f717e883df98a6 (commit)
      from  f91830e4da6c15863decc58b4358ba904c6af16e (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=77160cb6ef37bf13971e20987a951b4e23ce3f80

commit 77160cb6ef37bf13971e20987a951b4e23ce3f80
Merge: f91830e 7c22237
Author: Arnold D. Robbins <address@hidden>
Date:   Sun Apr 28 19:45:20 2019 +0300

    Merge branch 'master' into porting


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

Summary of changes:
 doc/ChangeLog   | 5 +++++
 doc/gawk.info   | 2 +-
 doc/gawk.texi   | 2 +-
 doc/gawktexi.in | 2 +-
 4 files changed, 8 insertions(+), 3 deletions(-)


hooks/post-receive
-- 
gawk