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!
sharkdp has joined #numbat
<sharkdp> Hi all. I haven't been active in the channel recently. I am planning to migrate this channel to Discord. I know that this might not be a popular decision, especially on this platform. But the reality is that all my other projects are on Discord. And I simply don't want to have to deal with IRC + logging anymore. It's also not like we ever had more than 6 people here in this channel, so ...
<sharkdp> ... I hope this is an understandable decision.
<sharkdp> I understand that it can be frustrating for those of you who might not want to join Discord for one reason or another. You can always contact us on GitHub (issues or discussions) as well. Or reach me personally on mail@david-peter.de
<sharkdp> triallax: Thank you very much for setting up this channel + logging the first place.
<sharkdp> achin: Thank you very much for investing time into a Numbat IRC bot!
sharkdp has quit [Remote host closed the connection]
sharkdp has joined #numbat
sharkdp has quit [Remote host closed the connection]
sharkdp has joined #numbat
<sharkdp> I built a quick & dirty Discord bot for Numbat as well :-)
sharkdp has quit [Remote host closed the connection]