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!
pagurus has quit [Ping timeout: 272 seconds]
mort___ has joined #mirage
mort___ has quit [Client Quit]
mort___ has joined #mirage
mort___ has left #mirage [#mirage]
mort___ has joined #mirage
mort___ has left #mirage [#mirage]
mort___ has joined #mirage
Guest54709 has joined #mirage
Guest54709 has quit [Remote host closed the connection]
mort___ has quit [Quit: Leaving.]
jnavila has joined #mirage
jnavila has quit [Ping timeout: 268 seconds]
mort___ has joined #mirage
Guest34352 has joined #mirage
Guest34352 has quit [Remote host closed the connection]
mort___ has quit [Quit: Leaving.]
Haudegen has joined #mirage
jnavila has joined #mirage
mort___ has joined #mirage
mort___ has quit [Quit: Leaving.]
jnavila has quit [Remote host closed the connection]
Haudegen has quit [Remote host closed the connection]
miragebot has joined #mirage
<miragebot> [mirage] hannesm pushed 4 new commits to master: https://git.io/fpcmk
<miragebot> mirage/master 624c689 Hannes Mehnert: avoid opam pin during installation of dependencies in generated makefile...
<miragebot> mirage/master 4d190b4 Hannes Mehnert: re-add a configure-time --no-depext flag
<miragebot> mirage/master 94f3a6e Hannes Mehnert: warn-error is a flag, not a bool opt
miragebot has left #mirage [#mirage]