#mirage on 2017-03-16 — irc logs at freenode.irclog.whitequark.org

2017-02-23 21:16 avsm changed the topic of #mirage to: Good news everyone! Mirage 3.0 released!

00:17 mort___ has quit [Ping timeout: 258 seconds]

00:19 mort___ has joined #mirage

00:23 mort___ has quit [Ping timeout: 240 seconds]

01:11 brson has quit [Quit: leaving]

01:20 mort___ has joined #mirage

01:25 mort___ has quit [Ping timeout: 260 seconds]

02:21 mort___ has joined #mirage

02:25 mort___ has quit [Ping timeout: 260 seconds]

03:22 mort___ has joined #mirage

03:27 mort___ has quit [Ping timeout: 260 seconds]

03:49 copy` has quit [Quit: Connection closed for inactivity]

04:24 mort___ has joined #mirage

04:29 mort___ has quit [Ping timeout: 264 seconds]

05:24 mort___ has joined #mirage

05:29 mort___ has quit [Ping timeout: 268 seconds]

06:25 mort___ has joined #mirage

06:29 mort___ has quit [Ping timeout: 240 seconds]

07:26 mort___ has joined #mirage

07:31 mort___ has quit [Ping timeout: 260 seconds]

08:06 argent_smith has joined #mirage

08:27 mort___ has joined #mirage

08:31 mort___ has quit [Ping timeout: 260 seconds]

08:31 AltGr has joined #mirage

08:40 mort___ has joined #mirage

08:40 fgimenez has joined #mirage

08:40 fgimenez has quit [Changing host]

08:44 mort___ has quit [Ping timeout: 256 seconds]

08:55 mort___ has joined #mirage

09:00 mort___ has quit [Ping timeout: 240 seconds]

09:06 mort___ has joined #mirage

09:08 mort___ has quit [Client Quit]

09:09 mort___ has joined #mirage

09:13 justicefries has left #mirage [#mirage]

09:14 argent_smith has quit [Quit: Leaving.]

09:26 mort___ has quit [Quit: Leaving.]

09:32 argent_smith has joined #mirage

09:42 mort___ has joined #mirage

09:47 mort___ has quit [Ping timeout: 258 seconds]

09:48 argent_smith has quit [Quit: Leaving.]

09:49 mort___ has joined #mirage

09:51 tomboy64 has quit [Ping timeout: 240 seconds]

09:58 mort___ has quit [Ping timeout: 256 seconds]

10:07 tomboy64 has joined #mirage

11:40 dudelson has joined #mirage

11:41 argent_smith has joined #mirage

11:52 argent_smith has quit [Read error: Connection reset by peer]

12:08 miragebot has joined #mirage

12:08 miragebot has left #mirage [#mirage]

12:08 <miragebot> mirage/master 0698a3e Anil Madhavapeddy: Merge pull request #815 from avsm/odoc-releasd...

12:08 <miragebot> mirage/master 7e95946 Anil Madhavapeddy: docs: odoc is now released in stable opam so remove pins

12:08 <miragebot> [mirage] avsm pushed 2 new commits to master: https://git.io/vySAe

12:22 argent_smith has joined #mirage

15:00 argent_smith has quit [Quit: Leaving.]

15:02 argent_smith has joined #mirage

15:26 dudelson has quit [Ping timeout: 240 seconds]

15:43 argent_smith has quit [Quit: Leaving.]

16:16 brson has joined #mirage

17:03 argent_smith has joined #mirage

17:05 fgimenez has quit [Remote host closed the connection]

17:13 reet has quit [Quit: leaving]

17:27 AltGr has left #mirage [#mirage]

17:45 kensan has quit [Quit: leaving]

20:35 argent_smith has quit [Quit: Leaving.]

20:38 argent_smith has joined #mirage

20:40 argent_smith has quit [Client Quit]

23:06 argent_smith has joined #mirage

23:17 argent_smith has quit [Quit: Leaving.]