#mirage on 2017-02-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!

00:14 ro6 has quit [Quit: Connection closed for inactivity]

00:27 agarwal1975 has quit [Ping timeout: 255 seconds]

00:39 miragebot has joined #mirage

00:39 <miragebot> mirage/master 2bbc0b7 Hannes Mehnert: Merge pull request #785 from yomimono/dont-not-create-myocamlbuild...

00:39 miragebot has left #mirage [#mirage]

00:39 <miragebot> mirage/master b63160f Mindy Preston: explain why we make an empty myocamlbuild.ml

00:39 <miragebot> [mirage] hannesm pushed 2 new commits to master: https://git.io/vDnzb

01:14 agarwal1975 has joined #mirage

03:55 brson has quit [Quit: leaving]

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

06:07 noddy has quit [Ping timeout: 240 seconds]

09:15 djs55 has joined #mirage

09:18 vramana1 has joined #mirage

09:18 vramana has quit [Ping timeout: 240 seconds]

09:20 vramana has joined #mirage

09:22 vramana1 has quit [Ping timeout: 248 seconds]

09:42 calculemus has joined #mirage

10:17 djs55 has quit [Quit: Leaving.]

10:33 djs55 has joined #mirage

10:44 djs55 has quit [Quit: Leaving.]

11:16 mort___ has joined #mirage

11:37 mort___ has quit [Quit: Leaving.]

13:56 djs55 has joined #mirage

14:44 noddy has joined #mirage

16:03 vramana1 has joined #mirage

16:06 vramana has quit [Ping timeout: 240 seconds]

16:06 vramana1 is now known as vramana

16:07 mort___ has joined #mirage

16:14 contrapumpkin is now known as copumpkin

17:22 mort___ has quit [Quit: Leaving.]

18:02 mort___ has joined #mirage

18:24 djs55 has quit [Quit: Leaving.]

18:46 copy` has joined #mirage

19:23 mort___ has quit [Quit: Leaving.]

19:32 djs55 has joined #mirage

19:45 mort___ has joined #mirage

19:48 apache3_ is now known as apache3

19:52 mort___ has quit [Quit: Leaving.]

19:59 djs55 has quit [Quit: Leaving.]

20:41 djs55 has joined #mirage

21:15 djs55 has quit [Quit: Leaving.]