avsm changed the topic of #mirage to: mirage 2 released! party on!
AltGr has joined #mirage
boogie has quit [Quit: Leaving...]
seangrove has quit [Ping timeout: 265 seconds]
seangrove has joined #mirage
seangrove has quit [Ping timeout: 250 seconds]
seangrove has joined #mirage
seangrove has quit [Ping timeout: 244 seconds]
seangrove has joined #mirage
seangrove has quit [Remote host closed the connection]
seangrove has joined #mirage
seangrove has quit [Ping timeout: 265 seconds]
seangrove has joined #mirage
nullcat has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
nullcat has joined #mirage
MrScout_ has joined #mirage
MrScout_ has quit [Remote host closed the connection]
nullcat has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
nullcat has joined #mirage
nullcat has quit [Client Quit]
nullcat has joined #mirage
fedjo has joined #mirage
fedjo has quit [Ping timeout: 246 seconds]
fedjo has joined #mirage
nullcat has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
fedjo has quit [Client Quit]
fedjo has joined #mirage
larhat has joined #mirage
fedjo has quit [Ping timeout: 246 seconds]
nullcat_ has joined #mirage
nullcat_ has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
dsheets has joined #mirage
mort___ has joined #mirage
AltGr has left #mirage [#mirage]
andreas has quit [Ping timeout: 256 seconds]
mattg has joined #mirage
fedjo has joined #mirage
andreas has joined #mirage
mort___ has quit [Quit: Leaving.]
mort___ has joined #mirage
dsheets has quit [Ping timeout: 256 seconds]
dsheets has joined #mirage
mort___ has quit [Quit: Leaving.]
miragebot has joined #mirage
<miragebot> [mirage] samoht created gh-pages (+1 new commit): http://git.io/hUcu
<miragebot> mirage/gh-pages 0b9666b Thomas Gazagnaire: Initial commit
miragebot has left #mirage [#mirage]
miragebot has joined #mirage
<miragebot> [mirage] samoht pushed 1 new commit to gh-pages: http://git.io/hUc9
<miragebot> mirage/gh-pages ab7a7f5 Thomas Gazagnaire: Update docs
miragebot has left #mirage [#mirage]
thomasga has joined #mirage
mort___ has joined #mirage
larhat1 has joined #mirage
larhat1 has quit [Remote host closed the connection]
larhat1 has joined #mirage
larhat has quit [Ping timeout: 256 seconds]
thomasga has quit [Quit: Leaving.]
nullcat has joined #mirage
mort___ has quit [Quit: Leaving.]
nullcat has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
thomasga has joined #mirage
thomasga1 has joined #mirage
mort___ has joined #mirage
thomasga has quit [Ping timeout: 256 seconds]
thomasga1 has quit [Quit: Leaving.]
thomasga has joined #mirage
<thomasga> hannes: do you know where is the issue which tracks the xen / tls integration. https://github.com/mirage/mirage/issues/242 seems out-of-date
MrScout has joined #mirage
mort___ has quit [Quit: Leaving.]
mort___ has joined #mirage
kdef has joined #mirage
kdef has quit [Ping timeout: 264 seconds]
brson has joined #mirage
kdef has joined #mirage
kdef has quit [Ping timeout: 264 seconds]
kdef has joined #mirage
kdef has quit [Ping timeout: 250 seconds]
andreas has quit [Quit: Leaving.]
kdef has joined #mirage
kdef has quit [Ping timeout: 255 seconds]
kdef has joined #mirage
kdef has quit [Ping timeout: 264 seconds]
agarwal1975 has joined #mirage
kdef has joined #mirage
kdef has quit [Ping timeout: 256 seconds]
mort___ has quit [Quit: Leaving.]
kdef has joined #mirage
kdef has quit [Ping timeout: 244 seconds]
thomasga has quit [Quit: Leaving.]
thomasga has joined #mirage
kdef has joined #mirage
kdef has quit [Ping timeout: 245 seconds]
dsheets has quit [Ping timeout: 252 seconds]
kdef has joined #mirage
agarwal1975 has quit [Quit: agarwal1975]
kdef has quit [Ping timeout: 265 seconds]
larhat1 has quit [Quit: Leaving.]
dsheets has joined #mirage
miragebot has joined #mirage
<miragebot> [mirage] samoht pushed 9 new commits to master: http://git.io/hIXA
<miragebot> mirage/master bf2bab6 Thomas Gazagnaire: Display the correct version when using `mirage --version`...
<miragebot> mirage/master 024afff Thomas Gazagnaire: Add targets to build documentation
<miragebot> mirage/master bad82ae Thomas Gazagnaire: Fix ocamldoc typos
miragebot has left #mirage [#mirage]
thomasga has quit [Ping timeout: 256 seconds]
nullcat_ has joined #mirage
thomasga has joined #mirage
kdef has joined #mirage
larhat has joined #mirage
kdef has quit [Ping timeout: 246 seconds]
nullcat_ has quit [Read error: Connection reset by peer]
kdef has joined #mirage
kdef has quit [Ping timeout: 255 seconds]
andreas has joined #mirage
kdef has joined #mirage
kdef has quit [Ping timeout: 250 seconds]
larhat has quit [Quit: Leaving.]
thomasga has quit [Quit: Leaving.]
thomasga has joined #mirage
MrScout_ has joined #mirage
MrScout has quit [Ping timeout: 256 seconds]
andreas has quit [Ping timeout: 264 seconds]
MrScout_ has quit [Remote host closed the connection]
MrScout has joined #mirage
rgrinberg has joined #mirage
miragebot has joined #mirage
<miragebot> [mirage] samoht pushed 7 new commits to master: http://git.io/htBR
<miragebot> mirage/master 4660b3b Thomas Gazagnaire: Update CHANGES
<miragebot> mirage/master a6a2a04 Thomas Gazagnaire: Add opam files for mirage and mirage-types
<miragebot> mirage/master 7cccf70 Thomas Gazagnaire: Call `opam depext` when configuring...
miragebot has left #mirage [#mirage]