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 det...@die-offenbachs.de
