avsm changed the topic of #mirage to: mirage 2 released! party on!
AltGr has joined #mirage
mort___ has quit [Quit: Leaving.]
seangrove has joined #mirage
brson has quit [Quit: leaving]
smkz has joined #mirage
rgrinberg has quit [Ping timeout: 250 seconds]
rgrinberg has joined #mirage
rgrinberg has quit [Ping timeout: 256 seconds]
cristianm has joined #mirage
rgrinberg has joined #mirage
andreas23 has quit [Quit: Leaving.]
rgrinberg has quit [Ping timeout: 265 seconds]
seangrove has quit [Ping timeout: 240 seconds]
andreas23 has joined #mirage
seangrove has joined #mirage
rgrinberg has joined #mirage
rgrinberg has quit [Ping timeout: 260 seconds]
seangrove has quit [Ping timeout: 260 seconds]
AltGr has left #mirage [#mirage]
yomimono has joined #mirage
AltGr has joined #mirage
djs55 has joined #mirage
djs55 has quit [Quit: Leaving.]
jerith has quit [Remote host closed the connection]
yomimono has quit [Ping timeout: 250 seconds]
mort___ has joined #mirage
vpm has quit [Ping timeout: 246 seconds]
mort___ has quit [Ping timeout: 265 seconds]
yomimono has joined #mirage
lars_kurth has joined #mirage
lars_kurth has quit [Remote host closed the connection]
rgrinberg has joined #mirage
rgrinberg has quit [Ping timeout: 240 seconds]
djs55 has joined #mirage
tizoc has quit [Quit: Coyote finally caught me]
mort___ has joined #mirage
cristianm has quit [Remote host closed the connection]
dsheets has joined #mirage
AltGr has left #mirage [#mirage]
cristianm has joined #mirage
cristianm has quit [Remote host closed the connection]
mort___ has quit [Quit: Leaving.]
jerith has joined #mirage
AltGr has joined #mirage
dsheets has quit [Ping timeout: 265 seconds]
tizoc has joined #mirage
AltGr has left #mirage [#mirage]
AltGr has joined #mirage
djs55 has quit [Quit: Leaving.]
cristianm has joined #mirage
AltGr has left #mirage [#mirage]
dsheets has joined #mirage
mort___ has joined #mirage
dsheets has quit [Ping timeout: 240 seconds]
rgrinberg has joined #mirage
djs55 has joined #mirage
jimt_ has joined #mirage
mort___ has quit [Quit: Leaving.]
dsheets has joined #mirage
jimt_ is now known as jimt
mort___ has joined #mirage
lars_kurth has joined #mirage
lars_kurth has quit [Remote host closed the connection]
dsheets has quit [Ping timeout: 246 seconds]
dsheets has joined #mirage
cristianm has quit [Remote host closed the connection]
<
reynir>
yomimono, hannes: I'm also on IRC (re: ocaml-certify)
vpm has joined #mirage
andreas23 has quit [Quit: Leaving.]
lars_kurth has joined #mirage
__rlp has quit [Ping timeout: 240 seconds]
__rlp has joined #mirage
lars_kurth has quit [Ping timeout: 240 seconds]
mort___ has quit [Quit: Leaving.]
mort___ has joined #mirage
rgrinberg has quit [Ping timeout: 260 seconds]
rgrinberg has joined #mirage
mort___ has quit [Ping timeout: 240 seconds]
cristianm has joined #mirage
cristianm has quit [Remote host closed the connection]
cristianm has joined #mirage
mort___ has joined #mirage
maker has joined #mirage
cristianm has quit [Remote host closed the connection]
mort___ has quit [Quit: Leaving.]
yomimono has quit [Ping timeout: 250 seconds]
mort___ has joined #mirage
mort___1 has joined #mirage
mort___ has quit [Ping timeout: 256 seconds]
brson has joined #mirage
mort___1 has quit [Quit: Leaving.]
yomimono has joined #mirage
djs55 has quit [Quit: Leaving.]
dsheets has quit [Ping timeout: 268 seconds]
rgrinberg has quit [Ping timeout: 268 seconds]
andreas23 has joined #mirage
andreas231 has joined #mirage
andreas23 has quit [Ping timeout: 272 seconds]
mort___ has joined #mirage
demonimin has quit [Quit: No Ping reply in 180 seconds.]
demonimin has joined #mirage
demonimin has joined #mirage
rgrinberg has joined #mirage
mort___ has quit [Quit: Leaving.]
mort___ has joined #mirage
cristianm has joined #mirage
cristianm has quit [Ping timeout: 246 seconds]
seangrove has joined #mirage
seangrove has quit [Remote host closed the connection]
englishm has joined #mirage
lobo has joined #mirage
dsheets has joined #mirage
cristianm has joined #mirage
cristianm has quit [Ping timeout: 252 seconds]
rgrinberg has quit [Ping timeout: 265 seconds]
brson has quit [Ping timeout: 252 seconds]
brson has joined #mirage
englishm has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
lobo has quit [Quit: leaving]
dsheets has quit [Read error: Connection reset by peer]
rgrinberg has joined #mirage
rgrinberg has quit [Ping timeout: 260 seconds]
rgrinberg has joined #mirage
cristianm has joined #mirage
yomimono has quit [Quit: Leaving]
brson has quit [Quit: leaving]
cristianm has quit [Remote host closed the connection]
cristianm has joined #mirage