#numbat on 2024-06-25 — irc logs at libera.irclog.whitequark.org

2024-02-07 19:06 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!

00:44 potash has quit [Ping timeout: 268 seconds]

01:03 potash has joined #numbat

06:09 sharkdp has joined #numbat

06:10 sharkdp has quit [Remote host closed the connection]

06:59 sharkdp has joined #numbat

09:33 sharkdp has quit [Remote host closed the connection]

09:34 sharkdp has joined #numbat

10:47 sharkdp has quit [Remote host closed the connection]

10:48 sharkdp has joined #numbat

12:14 sharkdp has quit [Remote host closed the connection]

12:15 sharkdp has joined #numbat

15:11 sharkdp has quit [Remote host closed the connection]

17:55 sharkdp has joined #numbat

19:01 sharkdp has quit [Remote host closed the connection]