hannes changed the topic of #mirage to: bug cleaning day every first friday in month (14:00 UTC - late, next: April 6th) - retreat 7th-18th March http://retreat.mirage.io - this channel is logged at http://irclog.whitequark.org/mirage/ - MirageOS 3 is released - happy hacking!
bramford has quit [Ping timeout: 260 seconds]
wladz has quit [Ping timeout: 268 seconds]
wladz has joined #mirage
argent_smith has joined #mirage
olle has joined #mirage
dtornabene has joined #mirage
mort___ has joined #mirage
mort___ has left #mirage [#mirage]
dtornabene has quit [Remote host closed the connection]
mort___ has joined #mirage
mort___ has quit [Ping timeout: 240 seconds]
AltGr has joined #mirage
olle has quit [Quit: olle]
AltGr has left #mirage [#mirage]
mort___ has joined #mirage
mort___1 has joined #mirage
mort___ has quit [Ping timeout: 252 seconds]
miragebot has joined #mirage
miragebot has left #mirage [#mirage]
<miragebot> mirage/dev-solo5 e6c7ec4 Adrian-Ken Rueegsegger: Add new Solo5-based platform `Muen (#887)
<miragebot> [mirage] mato pushed 1 new commit to dev-solo5: https://git.io/vApoq
<kensan> ^ \@/
mort___1 has quit [Quit: Leaving.]
<ansiwen[m]> kensan: awesome!!
<ansiwen[m]> mato: awesome!
<mato> you're welcome :)
<mato> Still on a feature branch for now
<kensan> mato: Shhh, otherwise somebody will discover that I don't know any OCaml ;)
noddy has joined #mirage
noddy has quit [Read error: Connection reset by peer]
noddy has joined #mirage
miragebot has joined #mirage
<miragebot> mirage/master a0ae518 Mindy Preston: Merge pull request #888 from mato/opam-warnings...
miragebot has left #mirage [#mirage]
<miragebot> [mirage] yomimono pushed 2 new commits to master: https://git.io/vAheh
<miragebot> mirage/master bc15674 Martin Lucina: Supress lint warnings from generated opam file
mort___ has joined #mirage
mort___ has quit [Quit: Leaving.]
noddy has quit [Ping timeout: 252 seconds]
kensan has quit [Quit: leaving]
mort___ has joined #mirage
mort___ has left #mirage [#mirage]
jnavila has joined #mirage
jnavila has quit [Remote host closed the connection]
argent_smith has quit [Quit: Leaving.]