diff options
Diffstat (limited to 'doc/ChangeLog')
| -rw-r--r-- | doc/ChangeLog | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/doc/ChangeLog b/doc/ChangeLog index a8f90b81..0529ee67 100644 --- a/doc/ChangeLog +++ b/doc/ChangeLog @@ -1,3 +1,10 @@ +2018-01-11 Arnold D. Robbins <arnold@skeeve.com> + + * gawktexi.in: Remove incorrect '*' on some declarations of + ext_id in sample extension code. Thanks to Panos Papadopoulos + <panos1962@gmail.com> for the report. + * texinfo.tex: Updated from GNULIB. + 2018-01-08 Andrew J. Schorr <aschorr@telemetry-investments.com> * gawktexi.in (Checking for MPFR): Add warnings about exit's processing |