Hello all, this is to inform you, that the #eric-ide IRC channel has been moved from freenode.net to libera.chat. Please use the new channel exclusively. The old channel on freenode.net has been unregistered. Regards, Detlev -- Detlev Offenbach detlev at die-offenbachs.de