hannes 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 13th 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 is released - happy hacking!
mort___ has quit [Quit: Leaving.]
poka has joined #mirage
pagurus has quit [Ping timeout: 240 seconds]
pagurus has joined #mirage
burr has quit [Ping timeout: 260 seconds]
burr has joined #mirage
burr has quit [Ping timeout: 265 seconds]
burr has joined #mirage
mort___ has joined #mirage
mort___ has quit [Client Quit]
mort___ has joined #mirage
ozzymcduff has joined #mirage
ozzymcduff has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
ozzymcduff has joined #mirage
mort___ has quit [Quit: Leaving.]
ozzymcduff has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
andreas23 has quit [Quit: Leaving.]
ozzymcduff has joined #mirage
mort___ has joined #mirage
Guest92079 has joined #mirage
mort___ has quit [Quit: Leaving.]
mort___ has joined #mirage
miragebot has joined #mirage
miragebot has left #mirage [#mirage]
<miragebot> [mirage] mato deleted dev-solo5 at 16c498d: https://git.io/fJHOI
Guest92079 is now known as Haudegen
argent_smith has joined #mirage
andreas23 has joined #mirage
Haudegen has quit [Remote host closed the connection]
olle has joined #mirage
mort___ has quit [Quit: Leaving.]
mort___ has joined #mirage
mort___ has quit [Client Quit]
mort___ has joined #mirage
Haudegen has joined #mirage
mort___ has quit [Quit: Leaving.]
mort___ has joined #mirage
mort___ has quit [Client Quit]
mort___ has joined #mirage
mort___ has joined #mirage
mort___ has quit [Quit: Leaving.]
ozzymcduff has quit [Quit: Textual IRC Client: www.textualapp.com]
ozzymcduff has joined #mirage
mort___ has joined #mirage
mort___ has quit [Quit: Leaving.]
mort___ has joined #mirage
ozzymcduff has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
ozzymcduff has joined #mirage
andreas23 has quit [Quit: Leaving.]
mort___ has quit [Quit: Leaving.]
ozzymcduff has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
<kit_ty_kate> hannes: are you happy with this PR? https://github.com/ocaml/opam-repository/pull/12062
<kit_ty_kate> If you are ok, could you merge it?
burr has quit [Ping timeout: 260 seconds]
burr has joined #mirage
ozzymcduff has joined #mirage
andreas23 has joined #mirage
olle has quit [Quit: olle]
Haudegen has quit [Remote host closed the connection]
reynir has quit [Ping timeout: 240 seconds]
ozzymcduff has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
burr_ has joined #mirage
reynir has joined #mirage
burr has quit [Ping timeout: 268 seconds]
burr has joined #mirage
burr_ has quit [Ping timeout: 256 seconds]
burr has quit [Ping timeout: 256 seconds]
burr has joined #mirage
Haudegen has joined #mirage
burr has quit [Ping timeout: 240 seconds]
burr has joined #mirage
burr_ has joined #mirage
burr has quit [Ping timeout: 256 seconds]
burr_ has quit [Ping timeout: 240 seconds]
burr has joined #mirage
burr has quit [Read error: Connection reset by peer]
burr has joined #mirage
hannes has quit [Remote host closed the connection]
ozzymcduff has joined #mirage
burr has quit [Read error: Connection reset by peer]
olle has joined #mirage
mort___ has joined #mirage
mort___ has left #mirage [#mirage]
ozzymcduff has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
jnavila has joined #mirage
olle has quit [Quit: olle]
olle has joined #mirage
ozzymcduff has joined #mirage
olle has quit [Quit: olle]
hannes has joined #mirage
olle has joined #mirage
ozzymcduff has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
ozzymcduff has joined #mirage
Haudegen has quit [Read error: Connection reset by peer]
olle has quit [Quit: olle]
Haudegen has joined #mirage
mort___ has joined #mirage
ozzymcduff has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
jnavila has quit [Remote host closed the connection]
argent_smith has quit [Quit: Leaving.]
Haudegen has quit [Remote host closed the connection]
mort___ has quit [Quit: Leaving.]