<div dir="ltr"><div>Hi</div><div><br></div><div>I guess this is mostly for phoe...<br><br></div><div>What is the status of the IRC channels?  I think I lost some bits during the year.</div><div><br></div><div>Also, anybody interested in a Discord channel or a <a href="http://groups.io">groups.io</a> group?</div><div><br></div><div>Happy holidays (especially Festivus)<br></div><div><br>-- <br><div dir="ltr" class="gmail_signature" data-smartmail="gmail_signature"><div dir="ltr">Marco Antoniotti, Professor                           tel. +39 - 02 64 48 79 01<br>DISCo, Università Milano Bicocca U14 2043   <a href="http://dcb.disco.unimib.it" target="_blank">http://dcb.disco.unimib.it</a><br>Viale Sarca 336<br>I-20126 Milan (MI) ITALY</div></div></div></div>