ChanServ changed the topic of #mirage to: https://mirage.io - bug cleaning day every first friday in month (14:00 UTC - late, next: July 6th) - next call June 27th 16:00 BST https://github.com/mirage/mirage-www/wiki/Call-Agenda - retreat 3rd-10th October http://retreat.mirage.io - this channel is logged at http://irclog.whitequark.org/mirage/ - MirageOS 3.1 is released - happy hacking!
pagurus has joined #mirage
pagurus` has quit [Ping timeout: 240 seconds]
seliopou has quit [Ping timeout: 248 seconds]
seliopou has joined #mirage
Haudegen has joined #mirage
andreas23 has joined #mirage
argent_smith has joined #mirage
reynir is now known as r4r
r4r is now known as reynir
Haudegen has quit [Read error: Connection reset by peer]
thomasga has joined #mirage
Haudegen has joined #mirage
andreas23 has quit [Quit: Leaving.]
Haudegen has quit [Remote host closed the connection]
Haudegen has joined #mirage
_whitelogger has joined #mirage
argent_smith has quit [Quit: Leaving.]
thomasga has quit [Quit: Leaving.]
thomasga has joined #mirage
thomasga has left #mirage [#mirage]
Haudegen has quit [Remote host closed the connection]
Haudegen has joined #mirage
yomimono has quit [Ping timeout: 268 seconds]
yomimono has joined #mirage
jnavila has joined #mirage
andreas23 has joined #mirage
jnavila has quit [Ping timeout: 240 seconds]
Haudegen has quit [Read error: Connection reset by peer]
<yomimono> gonna use this new opam-ci tool for bug cleaning day tomorrow, I think
<yomimono> the usage examples are, uh, inspiring
demonimin has quit [Ping timeout: 260 seconds]