[crossfire] IRC channel move from Freenode to Libera?

[Nathaniel Kipps]

I've set up a Libera-Discord bridge, and can tear down the
Freenode-Discord one whenever it is desired.

--DraugTheWhopper

On Sun, May 30, 2021 at 2:56 PM Kevin Zheng <kevinz5000 at gmail.com> wrote:
>
> Fortunately, with the exception of the Discord bridge, this seems to be
> like a change where we can just pick up shop and put it down elsewhere.
> [snip]
> 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?
>
> Regards,
> Kevin