Am 13.02.2020 um 14:18 schrieb Allin Cottrell:
On Thu, 13 Feb 2020, Sven Schreiber wrote:
Yes. And it's also the arena from which the current versions of
addons
are downloaded (via the "Check for addons" dialog).
OK thanks.
This reminds me of something I need to look into: do we currently
block download/installation of (non-addon) packages that require a
gretl version higher than the running gretl instance? (We should, but
I'm not sure we do.)
If you didn't implement it recently, I don't think this is already done.
Yes, it would be good.
cheers
sven