On Wed, 23 May 2018, Sven Schreiber wrote:
I just saw that there is a "mailing lists" tab on the
sourceforge interface,
and it contains something about gretl-devel and gretl-users. However, these
are totally different things than our lists.
I propose to just delete/remove them (if possible, still have to find out).
OK?
Oof, I wasn't aware of those "shadow" lists. Potentially very
confusing. I've now deleted them.
Allin