[gawk-diffs] [SCM] gawk branch, porting, updated. gawk-4.1.0-3701-gf0d90a9

[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  f0d90a94c1089ccd3f0d46fe33593dd68ee369e3 (commit)
       via  12a5a583e98ba7a6886407df6df74a1dbb65ae64 (commit)
      from  fe48b41c37334f5e1b1e28aa295bd88feed8117f (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=f0d90a94c1089ccd3f0d46fe33593dd68ee369e3

commit f0d90a94c1089ccd3f0d46fe33593dd68ee369e3
Merge: fe48b41 12a5a58
Author: Arnold D. Robbins <address@hidden>
Date:   Fri Apr 5 10:26:35 2019 +0300

    Merge branch 'master' into porting


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

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


hooks/post-receive
-- 
gawk