avsm changed the topic of #mirage to: Good news everyone! Mirage 3.0 released!
trn has quit [Excess Flood]
trn has joined #mirage
copy_ has quit [Quit: Connection closed for inactivity]
dobson` has joined #mirage
justincormack__ has joined #mirage
dstolfa_ has joined #mirage
mattg_ has joined #mirage
def`_ has joined #mirage
def` has quit [*.net *.split]
dobson has quit [*.net *.split]
dstolfa has quit [*.net *.split]
srax has quit [*.net *.split]
mattg has quit [*.net *.split]
justincormack_ has quit [*.net *.split]
mattg_ is now known as mattg
justincormack__ is now known as justincormack_
srax has joined #mirage
Bluerise has quit [Ping timeout: 260 seconds]
Bluerise has joined #mirage
mort___ has joined #mirage
mort___ has quit [Read error: Connection reset by peer]
mort___ has joined #mirage
mort___ has quit [Client Quit]
def`_ is now known as def`
dstolfa_ is now known as dstolfa
mort___ has joined #mirage
mort___1 has joined #mirage
mort___ has quit [Ping timeout: 255 seconds]
argent_smith has joined #mirage
mato has joined #mirage
mort___1 has quit [Quit: Leaving.]
mort___ has joined #mirage
mort___ has quit [Quit: Leaving.]
mort___ has joined #mirage
dezzy has joined #mirage
mort___ has quit [Quit: Leaving.]
mort___ has joined #mirage
mort___ has quit [Quit: Leaving.]
mort___ has joined #mirage
mort___ has quit [Quit: Leaving.]
mort___ has joined #mirage
mort___ has quit [Quit: Leaving.]
argent_smith has quit [Quit: Leaving.]
mort___ has joined #mirage
mort___ has quit [Ping timeout: 240 seconds]
miragebot has joined #mirage
<miragebot> mirage/master a78bc0c Thomas Gazagnaire: Fix minimal version of mirage-xen to use
miragebot has left #mirage [#mirage]
<miragebot> mirage/master 0b7a9b3 Thomas Gazagnaire: Pin latest functoria in CI
<miragebot> mirage/master 479bc29 Thomas Gazagnaire: Adapt to latest functoria
<miragebot> [mirage] samoht pushed 6 new commits to master: https://git.io/vQpOy
deep-book-gk_ has joined #mirage
deep-book-gk_ has left #mirage [#mirage]
copy_ has joined #mirage
demonimin has quit [Ping timeout: 260 seconds]
demonimin has joined #mirage