#mirage on 2016-08-18 — irc logs at freenode.irclog.whitequark.org

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

01:24 brson has quit [Quit: leaving]

01:33 andreas23 has quit [Ping timeout: 258 seconds]

01:47 andreas23 has joined #mirage

02:21 seangrove has joined #mirage

02:33 rgrinberg has joined #mirage

03:24 andreas23 has quit [Quit: Leaving.]

03:24 andreas23 has joined #mirage

03:37 brson has joined #mirage

03:42 andreas231 has joined #mirage

03:44 andreas23 has quit [Ping timeout: 244 seconds]

03:47 noddy has quit [Ping timeout: 240 seconds]

04:23 jermar has joined #mirage

04:56 jermar has quit [Ping timeout: 258 seconds]

05:06 rgrinberg has quit [Ping timeout: 240 seconds]

05:24 seangrove has quit [Ping timeout: 244 seconds]

05:32 brson has quit [Ping timeout: 240 seconds]

06:44 copy` has quit [Quit: Connection closed for inactivity]

06:58 seangrove has joined #mirage

07:33 dexterph` has joined #mirage

07:48 andreas231 has quit [Quit: Leaving.]

07:51 seangrove has quit [Ping timeout: 258 seconds]

08:13 mort___ has joined #mirage

08:14 mort___ has left #mirage [#mirage]

08:36 andreas23 has joined #mirage

09:17 seangrove has joined #mirage

09:24 seangrove has quit [Ping timeout: 276 seconds]

10:37 jermar has joined #mirage

11:19 seangrove has joined #mirage

11:24 seangrove has quit [Ping timeout: 250 seconds]

11:56 mort___ has joined #mirage

12:20 seangrove has joined #mirage

12:25 seangrove has quit [Ping timeout: 265 seconds]

12:30 mrutland has quit [Quit: bye...]

12:30 mrutland has joined #mirage

12:42 yomimono has joined #mirage

13:02 rgrinberg has joined #mirage

13:03 miragebot has joined #mirage

13:03 <miragebot> [mirage] yomimono pushed 2 new commits to master: https://git.io/v66Kq

13:03 <miragebot> mirage/master c3495be pqwy: emit a target-specific ocamlfind predicate

13:03 <miragebot> mirage/master afa469a Mindy Preston: Merge pull request #568 from pqwy/prediquery...

13:03 miragebot has left #mirage [#mirage]

13:15 yomimono has quit [Ping timeout: 260 seconds]

13:41 agarwal1975 has quit [Quit: agarwal1975]

13:58 copy` has joined #mirage

14:01 seangrove has joined #mirage

14:03 rgrinberg has quit [Quit: WeeChat 1.5]

14:04 rgrinberg has joined #mirage

14:07 seangrove has quit [Ping timeout: 276 seconds]

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

14:34 mort___ has joined #mirage

14:36 jermar has quit [Ping timeout: 258 seconds]

14:43 seangrove has joined #mirage

14:49 demonimin has quit [Remote host closed the connection]

14:54 demonimin has joined #mirage

14:54 agarwal1975 has joined #mirage

14:58 rgrinberg has quit [Quit: WeeChat 1.5]

14:59 rgrinberg has joined #mirage

15:03 rgrinberg has quit [Ping timeout: 244 seconds]

15:04 rgrinberg has joined #mirage

15:27 dexterph` has quit [Ping timeout: 244 seconds]

15:42 mort___ has left #mirage [#mirage]

15:44 brson has joined #mirage

16:55 andreas23 has quit [Ping timeout: 252 seconds]

18:38 jermar has joined #mirage

18:53 jermar has quit [Ping timeout: 252 seconds]

19:19 jermar has joined #mirage

20:07 seangrove has quit [Ping timeout: 244 seconds]

20:46 jermar has quit [Ping timeout: 258 seconds]

22:25 agarwal1975 has quit [Quit: agarwal1975]