#mirage on 2019-01-07 — irc logs at freenode.irclog.whitequark.org

2019-01-06 13:42 hannes changed the topic of #mirage to: https://mirage.io - bug cleaning day every first friday in month (14:00 UTC - late, next: Feb 1st) - next call Jan 9th 16:00 GMT https://github.com/mirage/mirage-www/wiki/Call-Agenda - this channel is logged at http://irclog.whitequark.org/mirage/ - MirageOS 3.3.1 is released - happy hacking!

00:01 Haudegen has quit [Read error: Connection reset by peer]

00:13 iovec has quit [Quit: Connection closed for inactivity]

00:36 Haudegen has joined #mirage

02:47 iovec has joined #mirage

04:56 iovec has quit [Quit: Connection closed for inactivity]

05:02 pagurus has quit [Ping timeout: 272 seconds]

05:03 pagurus has joined #mirage

05:41 iovec has joined #mirage

08:46 iovec has quit [Quit: Connection closed for inactivity]

09:30 AltGr has joined #mirage

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

09:56 demonimin has joined #mirage

09:59 mort___ has joined #mirage

10:31 Haudegen has quit [Read error: Connection reset by peer]

10:53 iovec has joined #mirage

12:21 _whitelogger has joined #mirage

14:18 Guest21270 has joined #mirage

14:20 Guest21270 has quit [Read error: Connection reset by peer]

14:40 Haudegen has joined #mirage

16:49 Haudegen has quit [Remote host closed the connection]

17:28 ro6 has joined #mirage

17:51 Guest1242 has joined #mirage

18:09 jnavila has joined #mirage

18:24 Guest1242 has quit [Remote host closed the connection]

18:30 jnavila has quit [Ping timeout: 252 seconds]

19:21 jnavila has joined #mirage

20:14 yomimono has joined #mirage

20:14 <yomimono> #join #ocaml

20:14 <yomimono> er... I mean, hello

20:44 <lobo> hi yomimono

20:51 jnavila has quit [Remote host closed the connection]

20:57 ro6 has quit [Quit: Connection closed for inactivity]

21:21 <dinosaure> hi :)

22:12 Guest60054 has joined #mirage

22:20 Guest60054 has quit [Read error: Connection reset by peer]