#mirage on 2016-12-04 — irc logs at freenode.irclog.whitequark.org

2014-11-12 23:09 avsm changed the topic of #mirage to: mirage 2 released! party on!

03:10 andreas231 has joined #mirage

03:10 andreas23 has quit [Ping timeout: 256 seconds]

03:45 srenatus[m] has quit [Read error: Connection reset by peer]

04:14 andreas23 has joined #mirage

04:14 srenatus[m] has joined #mirage

04:17 andreas231 has quit [Ping timeout: 244 seconds]

06:55 gjaldon has joined #mirage

07:57 copy` has quit [Quit: Connection closed for inactivity]

09:22 insitu has joined #mirage

10:24 insitu has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

10:27 andreas23 has quit [Quit: Leaving.]

10:27 <haesbaert> moooo

10:38 demonimin has quit [Remote host closed the connection]

10:41 insitu has joined #mirage

10:45 demonimin has joined #mirage

10:50 insitu has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

10:51 andreas23 has joined #mirage

11:43 andreas23 has quit [Quit: Leaving.]

12:00 abeaumont has joined #mirage

12:20 insitu has joined #mirage

12:27 copy` has joined #mirage

12:57 insitu has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

15:15 andreas23 has joined #mirage

15:28 insitu has joined #mirage

15:31 insitu has quit [Client Quit]

15:50 miragebot has joined #mirage

15:50 <miragebot> mirage/master 9666729 Anil Madhavapeddy: Merge pull request #720 from avsm/base-docs...

15:50 <miragebot> mirage/master 61655c5 Anil Madhavapeddy: docs: Add Base library so that we have docs for it

15:50 miragebot has left #mirage [#mirage]

15:50 <miragebot> [mirage] avsm pushed 2 new commits to master: https://git.io/v1llP

16:22 gjaldon has quit []

17:02 demonimin has quit [Remote host closed the connection]

17:07 insitu has joined #mirage

17:10 demonimin has joined #mirage

17:10 demonimin has quit [Changing host]

17:10 demonimin has joined #mirage

18:56 andreas231 has joined #mirage

18:59 insitu has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

19:00 andreas23 has quit [Ping timeout: 256 seconds]

20:17 rgrinberg has joined #mirage

21:38 rgrinberg has quit [Ping timeout: 265 seconds]

22:05 andreas23 has joined #mirage

22:09 andreas231 has quit [Ping timeout: 260 seconds]

23:07 agarwal1975 has joined #mirage