avsm changed the topic of #mirage to: mirage 2 released! party on!
mcclurmc has joined #mirage
brson has quit [Ping timeout: 240 seconds]
rgrinberg has joined #mirage
copy` has quit [Quit: Connection closed for inactivity]
rgrinberg has quit [Ping timeout: 244 seconds]
mcclurmc has quit [Ping timeout: 244 seconds]
rgrinberg has joined #mirage
mcclurmc has joined #mirage
pmiess has quit [Ping timeout: 264 seconds]
mato has quit [Ping timeout: 272 seconds]
mato has joined #mirage
mcclurmc has quit [Ping timeout: 244 seconds]
pmiess has joined #mirage
rgrinberg has quit [Ping timeout: 244 seconds]
mort___ has joined #mirage
jermar has joined #mirage
mort___ has quit [Quit: Leaving.]
jermar has quit [Remote host closed the connection]
jermar has joined #mirage
mort___ has joined #mirage
fedjo has quit [Remote host closed the connection]
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.]
mort___ has joined #mirage
andreas23 has joined #mirage
rgrinberg has joined #mirage
ericvh has quit [Quit: Leaving.]
mort___ has quit [Quit: Leaving.]
mort___ has joined #mirage
yegods has joined #mirage
copy` has joined #mirage
mcclurmc has joined #mirage
jermar has quit [Remote host closed the connection]
mort___ has quit [Quit: Leaving.]
brson has joined #mirage
brson has quit [Ping timeout: 244 seconds]
mcclurmc has quit [Ping timeout: 244 seconds]
mcclurmc has joined #mirage
mcclurmc has quit [Ping timeout: 272 seconds]
pmiess has quit [Ping timeout: 276 seconds]
brson has joined #mirage
mcclurmc has joined #mirage
smondet has joined #mirage
smondet has quit [Remote host closed the connection]
smondet has joined #mirage
pmiess has joined #mirage
brson has quit [Ping timeout: 264 seconds]
smondet has quit [Quit: #emacs]
smondet has joined #mirage
Bluerise_ has joined #mirage
Bluerise has quit [Ping timeout: 252 seconds]
justincormack has quit [Ping timeout: 252 seconds]
justincormack has joined #mirage
brson has joined #mirage
ptrf has quit [Ping timeout: 252 seconds]
sigjuice has joined #mirage
andreas23 has quit [Ping timeout: 272 seconds]
andreas23 has joined #mirage
ptrf has joined #mirage
Bluerise_ is now known as Bluerise
Drup has quit [Ping timeout: 252 seconds]
Drup has joined #mirage
agarwal1975 has joined #mirage
andreas23 has quit [Ping timeout: 272 seconds]
henrytill_ has joined #mirage
henrytill has quit [Ping timeout: 252 seconds]
andreas23 has joined #mirage
brson has quit [Read error: Connection reset by peer]
brson has joined #mirage
mcclurmc has quit [Ping timeout: 272 seconds]
agarwal1975 has quit [Ping timeout: 272 seconds]
Meeh has quit [Ping timeout: 250 seconds]
Meeh has joined #mirage
mort___ has joined #mirage
mort___ has quit [Quit: Leaving.]
miragebot has joined #mirage
<
miragebot>
mirage/master 24278a0 Anil Madhavapeddy: Merge pull request #600 from avsm/master...
miragebot has left #mirage [#mirage]
<
miragebot>
mirage/master c8c8a7c Anil Madhavapeddy: doc: add more libraries