[crossfire] IRC channel move from Freenode to Libera?

[Nathaniel Kipps]

On Sun, May 30, 2021 at 2:56 PM Kevin Zheng <kevinz5000 at gmail.com> wrote:
> It is May 30th when I'm writing this; is June 5th long enough for
> everyone who wants to be on IRC to move to Libera?

You should probably ask that of the people in IRC... :P

As for the Discord bridge, the simplest solution is to set up a second
bridge with Libera, before tearing down the old one. But, I'll wait
for more guidance before executing that. (I don't think Leaf answered
my most recent query on the topic.)

--DraugTheWhopper