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!
mort___ has joined #mirage
mort___ has quit [Client Quit]
mort___ has joined #mirage
mort___ has quit [Client Quit]
Guest37815 has joined #mirage
mort___ has joined #mirage
mort___ has left #mirage [#mirage]
mort___1 has joined #mirage
mort___1 has quit [Ping timeout: 252 seconds]
mort___ has joined #mirage
Guest37815 has quit [Remote host closed the connection]
mort___ has left #mirage [#mirage]
Guest49829 has joined #mirage
Guest49829 has quit [Remote host closed the connection]
Haudegen has joined #mirage
hannes has quit [*.net *.split]
ansiwen has quit [*.net *.split]
tg has quit [*.net *.split]
hannes has joined #mirage
ansiwen_ has joined #mirage
ansiwen_ is now known as ansiwen
tg has joined #mirage
mort___ has joined #mirage
mort___ has quit [Quit: Leaving.]
mort___ has joined #mirage
AltGr has joined #mirage
Haudegen has quit [Remote host closed the connection]
mort___ has quit [Quit: Leaving.]
AltGr has left #mirage [#mirage]
jnavila has joined #mirage
jnavila has quit [Remote host closed the connection]
miragebot has joined #mirage
miragebot has left #mirage [#mirage]
<miragebot> mirage/master 0332db0 Hannes Mehnert: Merge pull request #942 from ehmry/genode...
<miragebot> mirage/master 0e8b07e Emery Hemingway: Native Genode target...
<miragebot> [mirage] hannesm pushed 2 new commits to master: https://git.io/fpkSL
miragebot has joined #mirage
<miragebot> mirage/master ba1e6e8 Hannes Mehnert: Merge pull request #941 from hannesm/no-conflict...
miragebot has left #mirage [#mirage]
<miragebot> mirage/master 88cdb71 Hannes Mehnert: remove conflicts from opam - mirage generates code with such lower bounds
<miragebot> [mirage] hannesm pushed 2 new commits to master: https://git.io/fpkSY