On 5/22/21 3:06 AM, Giuseppe D'Angelo via Development wrote: > As detailed in the other thread, I'd like to gather lazy consensus for > moving the official IRC presence from Freenode to Libera.Chat. +1 Cheers, Joerg