hannes changed the topic of #mirage to: https://mirage.io - bug cleaning day every first friday in month (14:00 UTC - late, next: Dec 7th) - next call Nov 28th 16:00 BST https://github.com/mirage/mirage-www/wiki/Call-Agenda - this channel is logged at http://irclog.whitequark.org/mirage/ - MirageOS 3.3.0 is released - happy hacking!
pagurus` has quit [Ping timeout: 272 seconds]
hitchhiker has joined #mirage
<hitchhiker> hello
noddy2OOO has quit [Ping timeout: 252 seconds]
Guest51036 has joined #mirage
Guest51036 has quit [Read error: Connection reset by peer]
Haudegen has joined #mirage
DonRichie has quit [Ping timeout: 252 seconds]
miragebot has joined #mirage
<miragebot> [mirage] hannesm pushed 2 new commits to master: https://git.io/fp8ye
<miragebot> mirage/master dc78a65 Hannes Mehnert: regression in 3.3.0: opam install no longer gets --yes passed
<miragebot> mirage/master 69ba663 Hannes Mehnert: Merge pull request #950 from hannesm/fix-regression-opam-y...
miragebot has left #mirage [#mirage]
<miragebot> [mirage] hannesm pushed 1 new commit to gh-pages: https://git.io/fp8Sj
<miragebot> mirage/gh-pages 4d8a1f2 Hannes Mehnert: Update mirage doc to 3.3.1.
miragebot has joined #mirage
miragebot has left #mirage [#mirage]
miragebot has joined #mirage
<miragebot> [mirage] hannesm pushed 1 new commit to master: https://git.io/fp89f
<miragebot> mirage/master 83d3e04 Hannes Mehnert: release 3.3.1
miragebot has left #mirage [#mirage]
Haudegen has quit [Remote host closed the connection]
noddy2OOO has joined #mirage
noddy2OOO has quit [Ping timeout: 240 seconds]
Haudegen has joined #mirage
noddy has joined #mirage
noddy2OOO has joined #mirage
noddy has quit [Ping timeout: 246 seconds]
<Ulrar> hannes: that does compile, but resolving doesn't work. I assume it's because of the default ctx, but I can't figure out a way to create a ctx I can pass to Cohttp_mirage.get outside of mirage, the closest I get is a Cohttp_lwt_unix ctx, but Cohttp_mirage doesn't seem to like it
mort___ has joined #mirage
mort___1 has joined #mirage
mort___ has quit [Ping timeout: 264 seconds]
Haudegen has quit [Remote host closed the connection]
mort___1 has quit [Quit: Leaving.]
mort___ has joined #mirage
DonRichie has joined #mirage
mort___ has left #mirage [#mirage]
DonRichie has quit [Ping timeout: 276 seconds]
DonRichie has joined #mirage
Haudegen has joined #mirage
pagurus has joined #mirage
noddy2OOO has quit [Ping timeout: 272 seconds]
noddy2OOO has joined #mirage
bramford has joined #mirage
Haudegen has quit [Remote host closed the connection]
mort___ has joined #mirage
mort___ has left #mirage [#mirage]
Guest63849 has joined #mirage
Guest63849 has quit [Remote host closed the connection]
Haudegen has joined #mirage
mort___ has joined #mirage
Haudegen has quit [Remote host closed the connection]