avsm changed the topic of #mirage to: Good news everyone! Mirage 3.0 released!
mort___ has quit [Ping timeout: 258 seconds]
mort___ has joined #mirage
mort___ has quit [Ping timeout: 240 seconds]
brson has quit [Quit: leaving]
mort___ has joined #mirage
mort___ has quit [Ping timeout: 260 seconds]
mort___ has joined #mirage
mort___ has quit [Ping timeout: 260 seconds]
mort___ has joined #mirage
mort___ has quit [Ping timeout: 260 seconds]
copy` has quit [Quit: Connection closed for inactivity]
mort___ has joined #mirage
mort___ has quit [Ping timeout: 264 seconds]
mort___ has joined #mirage
mort___ has quit [Ping timeout: 268 seconds]
mort___ has joined #mirage
mort___ has quit [Ping timeout: 240 seconds]
mort___ has joined #mirage
mort___ has quit [Ping timeout: 260 seconds]
argent_smith has joined #mirage
mort___ has joined #mirage
mort___ has quit [Ping timeout: 260 seconds]
AltGr has joined #mirage
mort___ has joined #mirage
fgimenez has joined #mirage
fgimenez has joined #mirage
fgimenez has quit [Changing host]
mort___ has quit [Ping timeout: 256 seconds]
mort___ has joined #mirage
mort___ has quit [Ping timeout: 240 seconds]
mort___ has joined #mirage
mort___ has quit [Client Quit]
mort___ has joined #mirage
justicefries has left #mirage [#mirage]
argent_smith has quit [Quit: Leaving.]
mort___ has quit [Quit: Leaving.]
argent_smith has joined #mirage
mort___ has joined #mirage
mort___ has quit [Ping timeout: 258 seconds]
argent_smith has quit [Quit: Leaving.]
mort___ has joined #mirage
tomboy64 has quit [Ping timeout: 240 seconds]
mort___ has quit [Ping timeout: 256 seconds]
tomboy64 has joined #mirage
dudelson has joined #mirage
argent_smith has joined #mirage
argent_smith has quit [Read error: Connection reset by peer]
miragebot has joined #mirage
miragebot has left #mirage [#mirage]
<
miragebot>
mirage/master 0698a3e Anil Madhavapeddy: Merge pull request #815 from avsm/odoc-releasd...
<
miragebot>
mirage/master 7e95946 Anil Madhavapeddy: docs: odoc is now released in stable opam so remove pins
argent_smith has joined #mirage
argent_smith has quit [Quit: Leaving.]
argent_smith has joined #mirage
dudelson has quit [Ping timeout: 240 seconds]
argent_smith has quit [Quit: Leaving.]
brson has joined #mirage
argent_smith has joined #mirage
fgimenez has quit [Remote host closed the connection]
reet has quit [Quit: leaving]
AltGr has left #mirage [#mirage]
kensan has quit [Quit: leaving]
argent_smith has quit [Quit: Leaving.]
argent_smith has joined #mirage
argent_smith has quit [Client Quit]
argent_smith has joined #mirage
argent_smith has quit [Quit: Leaving.]