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