diff options
| author | Arnold D. Robbins <arnold@skeeve.com> | 2018-01-12 13:45:33 +0200 |
|---|---|---|
| committer | Arnold D. Robbins <arnold@skeeve.com> | 2018-01-12 13:45:33 +0200 |
| commit | e573fb4635697c3194c660fd2d3ba66fa439d9f6 (patch) | |
| tree | 5f078075bd4c3fc465ad0793198022c9b1ff8c5f /doc/it/ChangeLog | |
| parent | d2bd8c645f8511288f93e244d5411ebc0166e9cd (diff) | |
| parent | a1e5ff3b8d65544d8819d70f598893d6056725e3 (diff) | |
| download | egawk-e573fb4635697c3194c660fd2d3ba66fa439d9f6.tar.gz egawk-e573fb4635697c3194c660fd2d3ba66fa439d9f6.tar.bz2 egawk-e573fb4635697c3194c660fd2d3ba66fa439d9f6.zip | |
Merge branch 'gawk-4.2-stable'
Diffstat (limited to 'doc/it/ChangeLog')
| -rw-r--r-- | doc/it/ChangeLog | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/doc/it/ChangeLog b/doc/it/ChangeLog index 7cfe6a07..06cd560c 100644 --- a/doc/it/ChangeLog +++ b/doc/it/ChangeLog @@ -1,3 +1,10 @@ +2018-01-12 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. + 2017-12-07 Antonio Giovanni Colombo <azc100@gmail.com> * gawk.1: New file. (Italian translation of the man page.) |