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 has quit [Quit: The Lounge - https://thelounge.chat]
achin has quit [Ping timeout: 248 seconds]
achin has joined #numbat
achin has quit [Ping timeout: 244 seconds]
achin has joined #numbat
achin has quit [Ping timeout: 260 seconds]
achin has joined #numbat