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 [email protected].
To view this discussion on the web visit
https://groups.google.com/d/msgid/racket-users/4956afef-9ef6-cf9d-d2ce-61d83d3780ec%40leastfixedpoint.com.
