#mirage on 2015-10-05 — 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:01 nullcat has quit [Ping timeout: 240 seconds]

00:09 nullcat has joined #mirage

00:09 nullcat has quit [Client Quit]

00:21 dsheets has quit [Ping timeout: 246 seconds]

00:47 nullcat has joined #mirage

01:10 nullcat has quit [Read error: Connection reset by peer]

01:32 AltGr has joined #mirage

02:17 rgrinberg has quit [Ping timeout: 240 seconds]

02:21 rgrinberg has joined #mirage

02:32 AltGr has left #mirage [#mirage]

03:53 AltGr has joined #mirage

04:01 nullcat has joined #mirage

04:05 nullcat has quit [Client Quit]

04:20 nullcat has joined #mirage

05:09 nullcat has quit [Read error: Connection reset by peer]

05:09 nullcat has joined #mirage

05:52 nullcat has quit [Read error: Connection reset by peer]

06:01 AltGr has left #mirage [#mirage]

06:02 AltGr has joined #mirage

06:51 andreas has quit [Quit: Leaving.]

08:05 djs55 has joined #mirage

08:34 djs55 has quit [Quit: Leaving.]

08:49 djs55 has joined #mirage

09:07 bsb-the-grey has quit [Ping timeout: 256 seconds]

09:07 bsb-the-grey has joined #mirage

09:09 mort___ has joined #mirage

09:11 jonludlam has joined #mirage

09:18 rgrinberg has quit [Ping timeout: 264 seconds]

09:33 AltGr has left #mirage [#mirage]

09:33 AltGr has joined #mirage

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

10:15 rgrinberg has joined #mirage

10:20 rgrinberg has quit [Ping timeout: 246 seconds]

10:26 yomimono has joined #mirage

11:16 rgrinberg has joined #mirage

11:21 rgrinberg has quit [Ping timeout: 256 seconds]

11:22 lars_kurth has joined #mirage

11:25 dsheets has joined #mirage

11:28 lars_kurth has quit [Remote host closed the connection]

11:42 dsheets has quit [Ping timeout: 260 seconds]

11:49 <vbmithr> Hi

11:49 <vbmithr> https://github.com/mirage/ocaml-cohttp/issues/433

11:49 <vbmithr> This is seriously a blocker for me

11:59 AltGr has joined #mirage

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

12:17 rgrinberg has joined #mirage

12:22 rgrinberg has quit [Ping timeout: 252 seconds]

12:28 mattg has joined #mirage

12:33 mato_ is now known as mato

12:44 dsheets has joined #mirage

12:45 lars_kurth has joined #mirage

13:02 lars_kurth has quit [Ping timeout: 250 seconds]

13:05 lars_kurth has joined #mirage

13:15 rgrinberg has joined #mirage

13:19 lars_kurth has quit [Remote host closed the connection]

14:28 smondet_ is now known as smondet

14:33 lars_kurth has joined #mirage

14:39 lars_kurth has quit [Remote host closed the connection]

14:46 contrapumpkin has quit []

14:47 copumpkin has joined #mirage

14:47 reynir is now known as rascul_

14:48 rascul_ is now known as reynir

15:08 nullcat has joined #mirage

15:52 nullcat has quit [Quit: My Mac has gone to sleep. ZZZzzz…]

16:02 nullcat has joined #mirage

16:48 nullcat has quit [Quit: My Mac has gone to sleep. ZZZzzz…]

17:00 nullcat has joined #mirage

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

17:07 brson has joined #mirage

17:39 yomimono has quit [Ping timeout: 250 seconds]

17:42 mort___ has quit [Ping timeout: 246 seconds]

18:03 mort___ has joined #mirage

18:06 rgrinberg has quit [Ping timeout: 246 seconds]

18:09 rgrinberg has joined #mirage

18:13 nullcat has quit [Quit: My Mac has gone to sleep. ZZZzzz…]

18:18 andreas has joined #mirage

18:18 andreas is now known as Guest24332

18:19 Guest24332 has quit [Client Quit]

18:37 andreas23 has joined #mirage

18:58 djs55 has joined #mirage

18:59 nullcat has joined #mirage

19:01 dsheets has quit [Ping timeout: 255 seconds]

19:08 nullcat has quit [Quit: My Mac has gone to sleep. ZZZzzz…]

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

19:19 djs55 has joined #mirage

20:09 lobo has joined #mirage

20:22 djs55 has quit [Quit: Leaving.]

20:34 rgrinberg has quit [Ping timeout: 240 seconds]

20:35 rgrinberg has joined #mirage

20:49 rgrinberg has quit [Ping timeout: 240 seconds]

20:57 demonimin has quit [Remote host closed the connection]

20:59 demonimin has joined #mirage

21:16 dsheets has joined #mirage

21:18 rgrinberg has joined #mirage

21:37 dsheets has quit [Ping timeout: 246 seconds]

21:54 jonludlam has quit [Ping timeout: 240 seconds]

22:27 lobo has quit [Quit: leaving]

22:29 seangrove has joined #mirage

22:46 djs55 has joined #mirage

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

23:36 rgrinberg has quit [Ping timeout: 250 seconds]

23:37 NhanH is now known as nhanH

23:38 nhanH is now known as NhanHo

23:38 NhanHo is now known as NhanH

23:38 NhanH is now known as NhanHo

23:39 NhanHo is now known as NhanH