#mirage on 2018-01-22 — irc logs at freenode.irclog.whitequark.org

2018-01-05 19:53 hannes changed the topic of #mirage to: bug cleaning day every first friday in month (14:00 UTC - late, next: 2nd Feb); MirageOS 3 is released, happy hacking!

00:37 ricarkol has quit [Quit: Leaving.]

03:35 dtornabene has quit [Remote host closed the connection]

09:15 mort___ has joined #mirage

09:30 mort___ has quit [Quit: Leaving.]

09:34 mort___ has joined #mirage

09:42 mort___ has quit [Quit: Leaving.]

09:42 mort___ has joined #mirage

09:46 mort___ has left #mirage [#mirage]

10:58 mort___ has joined #mirage

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

12:01 mort___ has joined #mirage

12:06 mort___ has quit [Client Quit]

12:12 superherointj has joined #mirage

12:13 <jpdeplaix> anyone here knows who is the maintainer of ocaml-github ?

12:13 mort___ has joined #mirage

12:21 superherointj has quit [Quit: Leaving]

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

13:15 mort___ has joined #mirage

13:31 mort___ has quit [Quit: Leaving.]

13:41 mort___ has joined #mirage

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

13:56 mort___ has joined #mirage

14:05 ricarkol has joined #mirage

14:51 ricarkol has quit [Quit: Leaving.]

15:02 ricarkol has joined #mirage

15:03 ricarkol has quit [Client Quit]

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

15:40 ansiwen[m] has quit [*.net *.split]

15:40 strmpnk has quit [*.net *.split]

15:40 caw__ has quit [*.net *.split]

15:40 smondet[m] has quit [*.net *.split]

15:40 hdurer[m] has quit [*.net *.split]

15:40 dmj` has quit [*.net *.split]

15:41 dmj` has joined #mirage

15:41 strmpnk has joined #mirage

15:42 caw__ has joined #mirage

15:43 ansiwen[m] has joined #mirage

15:43 olle has joined #mirage

15:44 ricarkol has joined #mirage

15:45 hdurer[m] has joined #mirage

15:45 smondet[m] has joined #mirage

15:48 ricarkol has quit [Client Quit]

15:52 contrapumpkin has quit [Quit: Textual IRC Client: www.textualapp.com]

15:58 contrapumpkin has joined #mirage

16:01 mort___ has joined #mirage

16:14 ricarkol has joined #mirage

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

18:00 mort___ has joined #mirage

18:47 mort___ has quit [Quit: Leaving.]

18:57 mort___ has joined #mirage

19:08 ricarkol has quit [Ping timeout: 268 seconds]

19:23 ricarkol has joined #mirage

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

21:00 ricarkol has quit [Quit: Leaving.]

21:11 ricarkol has joined #mirage

21:16 argent_smith has quit [Quit: Leaving.]

21:17 argent_smith has joined #mirage

21:17 argent_smith has quit [Client Quit]

22:08 ricarkol has quit [Quit: Leaving.]

23:12 tg has quit [Ping timeout: 256 seconds]

23:20 tg has joined #mirage

23:26 strmpnk has quit [Ping timeout: 256 seconds]

23:27 strmpnk has joined #mirage

23:36 dtornabene has joined #mirage