avsm changed the topic of #mirage to: mirage 2 released! party on!
agarwal1975 has joined #mirage
smondet has quit [Ping timeout: 250 seconds]
yomimono has joined #mirage
rgrinberg has joined #mirage
yomimono has quit [Ping timeout: 250 seconds]
andreas231 has joined #mirage
andreas23 has quit [Ping timeout: 248 seconds]
rgrinberg has quit [Remote host closed the connection]
copy` has quit [Quit: Connection closed for inactivity]
insitu has joined #mirage
insitu has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
insitu has joined #mirage
andreas231 has quit [Quit: Leaving.]
insitu has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
def` has quit [Ping timeout: 248 seconds]
def` has joined #mirage
w10have has joined #mirage
AltGr has joined #mirage
vramana1 has joined #mirage
vramana has quit [Ping timeout: 268 seconds]
vramana1 is now known as vramana
vramana1 has joined #mirage
vramana has quit [Ping timeout: 268 seconds]
vramana1 is now known as vramana
insitu has joined #mirage
w10have has quit [Ping timeout: 250 seconds]
insitu has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
andreas23 has joined #mirage
andreas23 has quit [Ping timeout: 245 seconds]
jpo_ is now known as jpo
w10have has joined #mirage
insitu has joined #mirage
noddy has quit [Ping timeout: 246 seconds]
andreas23 has joined #mirage
andreas23 has quit [Ping timeout: 252 seconds]
copy` has joined #mirage
insitu has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
agarwal1975 has quit [Quit: agarwal1975]
andreas23 has joined #mirage
yomimono has joined #mirage
agarwal1975 has joined #mirage
insitu has joined #mirage
noddy has joined #mirage
yomimono has quit [Ping timeout: 248 seconds]
rgrinberg has joined #mirage
rgrinberg has quit [Remote host closed the connection]
rgrinberg has joined #mirage
yomimono has joined #mirage
andreas23 has quit [Quit: Leaving.]
AltGr has left #mirage [#mirage]
insitu has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
yomimono has quit [Ping timeout: 252 seconds]
yomimono has joined #mirage
miragebot has joined #mirage
miragebot has left #mirage [#mirage]
<
miragebot>
mirage/master e10a18b Hannes Mehnert: Merge pull request #730 from samoht/mirage-runtime...
<
miragebot>
mirage/master 74576bb Thomas Gazagnaire: mirage-runtime depends on mirage-types
mort___ has joined #mirage
w10have has quit [Ping timeout: 240 seconds]
<
hannes>
mato: around?
mort___ has quit [Quit: Leaving.]
andreas23 has joined #mirage
mort___ has joined #mirage
insitu has joined #mirage
insitu has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
smondet has joined #mirage
mort___ has quit [Quit: Leaving.]
mort___ has joined #mirage
w10have has joined #mirage
w10have has quit [Ping timeout: 264 seconds]
yomimono has quit [Quit: Leaving]
mort___ has quit [Quit: Leaving.]
insitu has joined #mirage
insitu has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
insitu has joined #mirage
miragebot has joined #mirage
miragebot has left #mirage [#mirage]
<
miragebot>
mirage/master 60a3f8b Dave Scott: Merge pull request #733 from djs55/fs-format...
<
miragebot>
mirage/master b0e8d28 David Scott: FS: remove `format` and `Format_unknown`...
insitu has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
noddy has quit [Ping timeout: 246 seconds]
andreas231 has joined #mirage
andreas23 has quit [Ping timeout: 240 seconds]
andreas231 has quit [Client Quit]
andreas23 has joined #mirage
agarwal1975 has quit [Quit: agarwal1975]
noddy has joined #mirage