Am 15.06.2021 um 18:11 schrieb Riccardo (Jack) Lucchetti:
On Tue, 15 Jun 2021, Sven Schreiber wrote:
> Jack, the --quiet option for loops can only be omitted for recent gretl
> versions (>=2020c). 'extra' currently supports versions from 2016a.
>
> We could consider increasing the requirement I guess.
>
> Apart from that I'd suggest to delete "(in progress)" from the
> changelog.
Thanks, Sven, done.
Apaprt from that, I made a few touches to the code to make it
marginally more efficient and pushed nthe new version to git.
If you like it, feel free to merge back into master.
I'd rather leave that to those who know how to run the relevant test
script for this case, and so forth.
thanks
sven