hannes changed the topic of #mirage to: https://mirage.io - bug cleaning day every first friday in month (14:00 UTC - late, next: Aug 3rd) - next call August 8th 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!
miragebot has joined #mirage
<miragebot> mirage/master a043eb9 Hannes Mehnert: upper bounds
<miragebot> [mirage] hannesm pushed 3 new commits to master: https://git.io/fpcOu
<miragebot> mirage/master 997dcda Hannes Mehnert: tigthen bounds
<miragebot> mirage/master 23f242f Hannes Mehnert: Merge pull request #946 from hannesm/bounds...
miragebot has left #mirage [#mirage]
miragebot has joined #mirage
<miragebot> [mirage] hannesm tagged 3.3.0 at 65b1c13: https://git.io/fpcOa
<miragebot> mirage/3.3.0 6137a5b Hannes Mehnert: [ci skip] release 3.3.0
miragebot has left #mirage [#mirage]
miragebot has joined #mirage
<miragebot> [mirage] hannesm pushed 1 new commit to master: https://git.io/fpcOV
<miragebot> mirage/master 6137a5b Hannes Mehnert: [ci skip] release 3.3.0
miragebot has left #mirage [#mirage]
miragebot has joined #mirage
<miragebot> mirage/master 73319c4 Hannes Mehnert: [ci skip] fix changes
<miragebot> [mirage] hannesm pushed 1 new commit to master: https://git.io/fpcOD
miragebot has left #mirage [#mirage]
miragebot has joined #mirage
<miragebot> [mirage] hannesm pushed 1 new commit to master: https://git.io/fpcON
<miragebot> mirage/master 755b735 Hannes Mehnert: [ci skip] README: specify ocaml and opam requirements
miragebot has left #mirage [#mirage]
_whitelogger has joined #mirage
_whitelogger has joined #mirage
_whitelogger has joined #mirage
_whitelogger has joined #mirage
mort___ has joined #mirage
zshipko has joined #mirage
zshipko has left #mirage [#mirage]
_whitelogger has joined #mirage
sigjuice has quit [Ping timeout: 240 seconds]
sigjuice has joined #mirage
mort___ has left #mirage [#mirage]
mort___ has joined #mirage
jnavila has joined #mirage
Guest65929 has joined #mirage
Guest65929 has quit [Remote host closed the connection]
Haudegen has joined #mirage
mort___1 has joined #mirage
mort___ has quit [Read error: Connection reset by peer]
mort___1 has left #mirage [#mirage]
_whitelogger has joined #mirage
mort___ has joined #mirage
mort___ has quit [Quit: Leaving.]
mort___ has joined #mirage
mort___ has quit [Quit: Leaving.]
pagurus has joined #mirage
Haudegen has quit [Remote host closed the connection]
Guest82096 has joined #mirage
Guest82096 has quit [Remote host closed the connection]
Haudegen has joined #mirage
mort___ has joined #mirage
mort___ has left #mirage [#mirage]
mort___ has joined #mirage
mort___ has quit [Quit: Leaving.]
jnavila has quit [Remote host closed the connection]
pagurus has quit [Remote host closed the connection]
hannes changed the topic of #mirage to: https://mirage.io - bug cleaning day every first friday in month (14:00 UTC - late, next: Dec 7th) - next call Nov 28th 16:00 BST https://github.com/mirage/mirage-www/wiki/Call-Agenda - this channel is logged at http://irclog.whitequark.org/mirage/ - MirageOS 3.3.0 is released - happy hacking!
Haudegen has quit [Remote host closed the connection]