#mirage on 2015-02-16 — 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:05 AltGr has joined #mirage

00:28 rgrinberg has quit [Quit: Leaving.]

00:36 rgrinberg has joined #mirage

01:02 brson has quit [Quit: leaving]

01:40 brson has joined #mirage

03:23 brson has quit [Quit: leaving]

05:30 rgrinberg has quit [Quit: Leaving.]

05:36 rgrinberg has joined #mirage

07:18 rgrinberg has quit [Quit: Leaving.]

07:26 brson has joined #mirage

07:26 larhat has joined #mirage

07:42 rgrinberg has joined #mirage

08:17 rgrinberg has quit [Quit: Leaving.]

08:24 brson has quit [Quit: leaving]

08:27 gargaml has joined #mirage

08:28 dsheets_ has joined #mirage

08:30 dsheets has quit [Ping timeout: 250 seconds]

09:20 damjan has left #mirage ["Konversation terminated!"]

09:44 andreas1 has quit [Quit: Leaving.]

10:02 dsheets_ has quit [Ping timeout: 246 seconds]

10:12 AltGr has left #mirage [#mirage]

10:21 mort___ has joined #mirage

10:32 dsheets_ has joined #mirage

10:53 andreas has joined #mirage

11:14 mort___ has quit [Ping timeout: 250 seconds]

11:18 mcclurmc_ has quit [Ping timeout: 264 seconds]

11:20 mcclurmc has joined #mirage

11:49 thomasga has joined #mirage

12:02 thomasga has quit [Quit: Leaving.]

12:09 mort___ has joined #mirage

12:54 mort___ has quit [Quit: Leaving.]

13:06 thomasga has joined #mirage

13:10 thomasga has quit [Client Quit]

13:25 rgrinberg has joined #mirage

13:25 vanila has joined #mirage

13:35 mekaj has quit [Ping timeout: 265 seconds]

13:37 mekaj has joined #mirage

13:49 rgrinberg has quit [Quit: Leaving.]

13:57 rgrinberg has joined #mirage

13:59 mekaj has quit [Ping timeout: 250 seconds]

13:59 mekaj has joined #mirage

14:03 thomasga has joined #mirage

14:25 rgrinberg has quit [Quit: Leaving.]

14:37 rgrinberg has joined #mirage

14:49 rgrinberg has quit [Quit: Leaving.]

14:51 dsheets_ has quit [Ping timeout: 246 seconds]

15:01 dsheets_ has joined #mirage

15:08 larhat has quit [Quit: Leaving.]

15:16 rgrinberg has joined #mirage

15:39 dsheets_ has quit [Ping timeout: 264 seconds]

15:55 jgjl has joined #mirage

15:58 yomimono has joined #mirage

16:03 thomasga has quit [Quit: Leaving.]

16:07 thomasga has joined #mirage

16:24 mcclurmc_ has joined #mirage

16:24 dsheets_ has joined #mirage

16:28 mcclurmc has quit [Ping timeout: 245 seconds]

16:33 dsheets_ has quit [Ping timeout: 255 seconds]

16:57 kdef has joined #mirage

17:06 dsheets_ has joined #mirage

17:19 jgjl has quit [Ping timeout: 240 seconds]

17:25 seangrove has quit [*.net *.split]

17:31 seangrove has joined #mirage

17:46 miragebot has joined #mirage

17:46 <miragebot> [mirage] samoht pushed 2 new commits to master: http://git.io/NQoQ

17:46 <miragebot> mirage/master 507305c Thomas Leonard: Remove unused IO_PAGE module type...

17:46 <miragebot> mirage/master 492ef00 Thomas Gazagnaire: Merge pull request #356 from talex5/remote-io-page...

17:46 miragebot has left #mirage [#mirage]

17:50 rgrinberg has quit [Quit: Leaving.]

17:50 miragebot has joined #mirage

17:50 <miragebot> [mirage] samoht pushed 2 new commits to master: http://git.io/NQ6o

17:50 <miragebot> mirage/master de48085 Thomas Leonard: Don't put '-classic-display' in the generated Makefiles...

17:50 <miragebot> mirage/master edd894e Thomas Gazagnaire: Merge pull request #364 from talex5/modern...

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

17:51 miragebot has joined #mirage

17:51 <miragebot> [mirage] samoht pushed 2 new commits to master: http://git.io/NQ6S

17:51 <miragebot> mirage/master c61ba30 Thomas Gazagnaire: Check that opam is of the right version...

17:51 <miragebot> mirage/master 4e3a99e Thomas Gazagnaire: Merge pull request #353 from samoht/master...

17:51 miragebot has left #mirage [#mirage]

17:54 yomimono has quit [Ping timeout: 264 seconds]

17:55 andreas has quit [Ping timeout: 264 seconds]

18:04 kdef has quit [Quit: Leaving]

18:05 miragebot has joined #mirage

18:05 <miragebot> [mirage] samoht pushed 3 new commits to master: http://git.io/NQSf

18:05 <miragebot> mirage/master 58f3e9a Thomas Gazagnaire: bump version

18:05 <miragebot> mirage/master 0363e04 Thomas Gazagnaire: Update CHANGES

18:05 <miragebot> mirage/master f834c2a Thomas Gazagnaire: Merge pull request #365 from samoht/version-bump...

18:05 miragebot has left #mirage [#mirage]

18:12 tlockney_away is now known as tlockney

18:27 thomasga has quit [Ping timeout: 265 seconds]

18:35 larhat has joined #mirage

18:43 mort___ has joined #mirage

18:45 thomasga has joined #mirage

19:00 kdef has joined #mirage

19:20 yomimono has joined #mirage

19:20 avsm has joined #mirage

19:29 rgrinberg has joined #mirage

19:32 avsm has quit [Ping timeout: 250 seconds]

19:33 miragebot has joined #mirage

19:33 <miragebot> [mirage] samoht pushed 2 new commits to master: http://git.io/N7B9

19:33 <miragebot> mirage/master 0035ef6 Thomas Gazagnaire: Forward-proof the opam-version check

19:33 <miragebot> mirage/master c889c3d Thomas Gazagnaire: Merge pull request #366 from samoht/forward-version...

19:33 miragebot has left #mirage [#mirage]

19:41 rgrinberg1 has joined #mirage

19:42 rgrinberg has quit [Ping timeout: 264 seconds]

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

20:03 rgrinberg has joined #mirage

20:12 yomimono has quit [Ping timeout: 250 seconds]

20:12 djs55 has joined #mirage

20:33 yomimono has joined #mirage

20:43 larhat has quit [Quit: Leaving.]

21:04 brson has joined #mirage

21:35 tlockney is now known as tlockney_away

21:38 rgrinberg has quit [Quit: Leaving.]

21:40 thomasga has quit [Quit: Leaving.]

21:40 tlockney_away is now known as tlockney

21:46 thomasga has joined #mirage

21:47 rgrinberg has joined #mirage

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

22:05 nullcat has joined #mirage

22:12 rgrinberg has quit [Quit: Leaving.]

22:21 rgrinberg has joined #mirage

22:25 tlockney is now known as tlockney_away

22:34 vanila has quit [Quit: Leaving]

22:46 yomimono has quit [Ping timeout: 265 seconds]

23:07 gargaml has quit [Quit: WeeChat 1.1.1]

23:08 djs55 has joined #mirage

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

23:16 mort___ has joined #mirage

23:16 kdef has quit [Quit: Leaving]

23:18 rgrinberg has quit [Quit: Leaving.]

23:18 rgrinberg has joined #mirage

23:20 mort___ has quit [Ping timeout: 245 seconds]

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

23:22 rgrinberg has quit [Client Quit]

23:57 thomasga has quit [Quit: Leaving.]