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.
