What happened with Freenode? On Thu, May 20, 2021 at 8:12 AM Tony Garnock-Jones < to...@leastfixedpoint.com> wrote:
> On 5/20/21 1:28 PM, Paulo Matos wrote: > > Tony Garnock-Jones writes: > >> With the recent damage to the Freenode IRC network, a new `#racket` has > >> been founded on irc.libera.chat. > > > > Is this to become the canonical IRC chat room for Racket? > > ¯\_(ツ)_/¯ > > I'd be in favour of moving off Freenode, myself. > > What would need updating? Presumably little more than the following: > > - https://racket-lang.org/irc-chat.html > > ? Is freenode mentioned anywhere else? > > Cheers, > Tony > > -- > You received this message because you are subscribed to the Google Groups > "Racket Users" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to racket-users+unsubscr...@googlegroups.com. > To view this discussion on the web visit > https://groups.google.com/d/msgid/racket-users/4956afef-9ef6-cf9d-d2ce-61d83d3780ec%40leastfixedpoint.com > . > -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to racket-users+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/racket-users/CAE8gKodDbgZ6jTi9sVN-950ZY_OPLdNvEqWCoZZp1p4gYoBJuQ%40mail.gmail.com.
