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 [Ping timeout: 258 seconds]
potash6 is now known as potash
potash2 has joined #numbat
potash has quit [Ping timeout: 272 seconds]
potash2 is now known as potash
potash has quit [Ping timeout: 252 seconds]
potash has joined #numbat
benjaminl has joined #numbat
potash has quit [Read error: Connection reset by peer]
potash has joined #numbat