diff options
author | Arnold D. Robbins <arnold@skeeve.com> | 2020-03-18 22:12:59 +0200 |
---|---|---|
committer | Arnold D. Robbins <arnold@skeeve.com> | 2020-03-18 22:12:59 +0200 |
commit | 94e6de71dd7f6dd1135ad2724e4402606d9604a3 (patch) | |
tree | 0f2e29cd9c0aaf8954f148c458c0228262092c73 /TODO | |
parent | 9c8a57c62f3cd1fce213a7a852d6a2d21f7d7f1a (diff) | |
download | gawk-94e6de71dd7f6dd1135ad2724e4402606d9604a3.tar.gz |
Update TODO.
Diffstat (limited to 'TODO')
-rw-r--r-- | TODO | 9 |
1 files changed, 8 insertions, 1 deletions
@@ -1,4 +1,4 @@ -Thu Jan 23 11:15:44 IST 2020 +Wed Mar 18 22:05:22 IST 2020 ============================ There were too many files tracking different thoughts and ideas for @@ -57,6 +57,13 @@ Minor New Features ? Optional third argument for index indicating where to start the search. + Suggested by Jannick: + * It is possible to make gawk look for a file with extension name + plus API version number(s) in case a shared lib with the expected + basename cannot be found? This would help have extension versions + compiled against different API versions in one single directory + and make gawk pick the extension with the right API version. + Major New Features ------------------ |