triallax changed the topic of #numbat to: The Official Numbat channel | This channel is publicly logged at | Please read if you're new to IRC!
sharkdp has joined #numbat
sharkdp has quit [Ping timeout: 250 seconds]
sharkdp has joined #numbat
<sharkdp> triallax: hope you were able to make progress after we spoke. otherwise, please let me know.
<triallax> sorry i got rather busy with work
<sharkdp> no worries
sharkdp has quit [Remote host closed the connection]