triallax changed the topic of #numbat to: The Official Numbat channel https://numbat.dev | This channel is publicly logged at https://libera.irclog.whitequark.org/numbat | Please read https://workaround.org/getting-help-on-irc/ if you're new to IRC!
<potash> whoops i didnt see this message in time
<potash> perhaps we can set up bridging between discord and here
<potash> irc is a pain in the ass indeed
<achin> to be honest, i'd perfer to just redirect everyone to discord. bridges are annoying