On Mon, 2 Mar 2020, Sven Schreiber wrote:
Am 02.03.2020 um 22:00 schrieb Riccardo (Jack) Lucchetti:
> On Mon, 2 Mar 2020, Allin Cottrell wrote:
>
>> Should we just go ahead and do this for the forthcoming release?
>
> I'd say let's [make "loop" quiet by default]
I'm always a bit worried about unintended side effects. For example,
what about special non-standard cases like the progressive variant of
loop, or other such stuff? I don't have any specific suspicion, but I'd
rather let this sink for a little while.
So far as I'm aware, the --progressive and --verbose "loop" options
are orthogonal. But I take your point about unintended consequences.
Maybe we should do this in the git/snapshot stage as we're working
towards gretl 2020b.
Allin