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!
achin has quit [Ping timeout: 246 seconds]
achin has joined #numbat
achin has quit [Changing host]
achin has joined #numbat
sharkdp has quit [Remote host closed the connection]
sharkdp has joined #numbat
triallax has left #numbat [#numbat]
triallax has joined #numbat
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> triallax: no, it's just me. I was on vacation and then I was sick. I might also be quite busy for the upcoming weeks. But I'll take a look right now
<triallax> thanks, and hope you get better soon
sharkdp has quit [Remote host closed the connection]