avsm changed the topic of #mirage to: Good news everyone! Mirage 3.0 released!
copy_ has quit [Quit: Connection closed for inactivity]
twopoint718 has joined #mirage
contrapumpkin has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
twopoint718 has quit [Quit: My MacBook Air has gone to sleep. ZZZzzz…]
aggelos_ has quit [Ping timeout: 240 seconds]
aggelos_ has joined #mirage
copy_ has joined #mirage
argent_smith has joined #mirage
argent_smith has quit [Quit: Leaving.]
Bluerise has quit [Quit: brb]
Bluerise has joined #mirage
contrapumpkin has joined #mirage
Bluerise has quit [Ping timeout: 255 seconds]
Bluerise has joined #mirage
miragebot has joined #mirage
<miragebot> mirage/master 403119f Mindy Preston: as of v9, it's charrua-client-mirage, not .mirage
miragebot has left #mirage [#mirage]
<miragebot> mirage/master 1ad6f12 Mindy Preston: require the unix & xen sublibraries of tcpip for those backends
<miragebot> mirage/master 5143fc7 Mindy Preston: update mirage-conduit package invocations
<miragebot> [mirage] djs55 pushed 6 new commits to master: https://git.io/v7iAS
argent_smith has joined #mirage
hannes has quit [Quit: Coyote finally caught me]
hannes has joined #mirage
argent_smith has quit [Quit: Leaving.]
miragebot has joined #mirage
miragebot has left #mirage [#mirage]
<miragebot> mirage/master 8974c4e Mindy Preston: use mainline .travis-docker.sh, not a fork
<miragebot> mirage/master 87855ac David Scott: Merge pull request #858 from djs55/remove-pins...
<miragebot> mirage/master 983ad1a David Scott: travis: remove PINS on charrua and functoria...
<miragebot> [mirage] djs55 pushed 3 new commits to master: https://git.io/v7PRZ
miragebot has joined #mirage
miragebot has left #mirage [#mirage]
<miragebot> mirage/master 15b0b65 David Scott: Merge pull request #857 from djs55/release.3.0.5...
<miragebot> mirage/master a5f80cb David Scott: Prepare to release 3.0.5 again...
<miragebot> [mirage] djs55 pushed 2 new commits to master: https://git.io/v7PRo
miragebot has joined #mirage
miragebot has left #mirage [#mirage]
<miragebot> [mirage] djs55 tagged 3.0.5 at master: https://git.io/v7P0P
copy_ has quit [Quit: Connection closed for inactivity]
copy_ has joined #mirage