[SCM] gawk branch, master, updated. gawk-4.1.0-3842-gb80f370

[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  b80f370b1f51e10db175f2697847ec129a454dac (commit)
      from  a4f9e9d4adbbf55a4225484ef3d04e8cf5e3046c (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=b80f370b1f51e10db175f2697847ec129a454dac

commit b80f370b1f51e10db175f2697847ec129a454dac
Author: Arnold D. Robbins <address@hidden>
Date:   Fri Nov 8 14:24:33 2019 +0200

    Small fix in doc/ChangeLog.

diff --git a/doc/ChangeLog b/doc/ChangeLog
index 8671f18..f9f2b4d 100644
--- a/doc/ChangeLog
+++ b/doc/ChangeLog
@@ -2,6 +2,7 @@
 
        * gawktexi.in: Document that readdir extension can cause a
        fatal error, which should be handled with BEGINFILE.
+       * gawk.1: Ditto.
 
 2019-10-16         Arnold D. Robbins     <address@hidden>
 

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

Summary of changes:
 doc/ChangeLog | 1 +
 1 file changed, 1 insertion(+)


hooks/post-receive
-- 
gawk