avsm changed the topic of #mirage to: mirage 2 released! party on!
smondet has quit [Ping timeout: 264 seconds]
rgrinberg has quit [Ping timeout: 252 seconds]
noddy has joined #mirage
copy` has joined #mirage
rgrinberg has joined #mirage
brson has quit [Quit: leaving]
noddy has quit [Ping timeout: 256 seconds]
_whitelogger has joined #mirage
rgrinberg has quit [Ping timeout: 252 seconds]
insitu has joined #mirage
scitesy has joined #mirage
insitu has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
pon1980 has joined #mirage
calculemus has quit [Ping timeout: 265 seconds]
insitu has joined #mirage
miragebot has joined #mirage
<miragebot> mirage/master bbf56c5 Anil Madhavapeddy: doc: disable some broken trunk packages to get a rebuild working...
<miragebot> [mirage] avsm pushed 2 new commits to master: https://git.io/vMIpk
miragebot has left #mirage [#mirage]
<miragebot> mirage/master fc2a2c8 Anil Madhavapeddy: Merge pull request #760 from avsm/doc3...
copy` has quit [Quit: Connection closed for inactivity]
insitu has quit [Quit: Textual IRC Client: www.textualapp.com]
<mato> hannes: looks like chrome has started deprecating "insecure" TLS ciphers:
agarwal1975 has joined #mirage
agarwal1975 has quit [Quit: agarwal1975]
agarwal1975 has joined #mirage
smondet has joined #mirage
noddy has joined #mirage
smondet` has joined #mirage
smondet has quit [Ping timeout: 245 seconds]
agarwal1975 has quit [Quit: agarwal1975]
scitesy has quit [Read error: Connection reset by peer]
rgrinberg has joined #mirage
scitesy has joined #mirage
miragebot has joined #mirage
<miragebot> mirage/master 658ff42 Anil Madhavapeddy: doc: the dev trees are sadly not compiling at the moment, so cull irmin...
miragebot has left #mirage [#mirage]
<miragebot> [mirage] avsm pushed 1 new commit to master: https://git.io/vMLgO
smondet` has quit [Ping timeout: 258 seconds]
copy` has joined #mirage
smondet has joined #mirage
rgrinberg has quit [Ping timeout: 252 seconds]
rgrinberg has joined #mirage
brson has joined #mirage
twopoint718 has joined #mirage
noddy has quit [Ping timeout: 264 seconds]
mort___ has joined #mirage
rgrinberg has quit [Ping timeout: 252 seconds]
mort___ has quit [Quit: Leaving.]
rgrinberg has joined #mirage
rgrinberg has quit [Remote host closed the connection]
twopoint718 has quit [Quit: My MacBook Air has gone to sleep. ZZZzzz…]
scitesy has quit [Read error: Connection reset by peer]
agarwal1975 has joined #mirage
agarwal1975 has quit [Quit: agarwal1975]