diff options
Diffstat (limited to 'doc/ChangeLog')
| -rw-r--r-- | doc/ChangeLog | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/doc/ChangeLog b/doc/ChangeLog index a14d3ece..b61d1912 100644 --- a/doc/ChangeLog +++ b/doc/ChangeLog @@ -1,3 +1,9 @@ +2019-05-05 Arnold D. Robbins <arnold@skeeve.com> + + * gawktexi.in (Additional Configuration Options): Document that + --disable-extensions also disables the extensions! Thanks to + Mark Krauze <daburashka@ya.ru>, for pointing it out. + 2019-04-28 Arnold D. Robbins <arnold@skeeve.com> * gawktexi.in (Options): Fix a copy/paste error. Thanks to |