#mirage on 2018-11-08 — irc logs at freenode.irclog.whitequark.org

2018-07-25 15:49 hannes changed the topic of #mirage to: https://mirage.io - bug cleaning day every first friday in month (14:00 UTC - late, next: Aug 3rd) - next call August 8th 16:00 BST https://github.com/mirage/mirage-www/wiki/Call-Agenda - retreat 3rd-10th October http://retreat.mirage.io - this channel is logged at http://irclog.whitequark.org/mirage/ - MirageOS 3.1 is released - happy hacking!

01:15 mort___ has joined #mirage

01:15 mort___ has quit [Client Quit]

04:29 mort___ has joined #mirage

04:29 mort___ has quit [Client Quit]

08:48 Guest37815 has joined #mirage

09:16 mort___ has joined #mirage

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

10:01 mort___1 has joined #mirage

10:06 mort___1 has quit [Ping timeout: 252 seconds]

10:59 mort___ has joined #mirage

11:33 Guest37815 has quit [Remote host closed the connection]

11:36 mort___ has left #mirage [#mirage]

13:21 Guest49829 has joined #mirage

13:37 Guest49829 has quit [Remote host closed the connection]

13:37 Haudegen has joined #mirage

14:02 hannes has quit [*.net *.split]

14:02 ansiwen has quit [*.net *.split]

14:02 tg has quit [*.net *.split]

14:02 hannes has joined #mirage

14:02 ansiwen_ has joined #mirage

14:04 ansiwen_ is now known as ansiwen

14:08 tg has joined #mirage

15:02 mort___ has joined #mirage

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

15:46 mort___ has joined #mirage

16:18 AltGr has joined #mirage

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

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

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

20:30 jnavila has joined #mirage

21:57 jnavila has quit [Remote host closed the connection]

23:28 miragebot has joined #mirage

23:28 miragebot has left #mirage [#mirage]

23:28 <miragebot> mirage/master 0332db0 Hannes Mehnert: Merge pull request #942 from ehmry/genode...

23:28 <miragebot> mirage/master 0e8b07e Emery Hemingway: Native Genode target...

23:28 <miragebot> [mirage] hannesm pushed 2 new commits to master: https://git.io/fpkSL

23:29 miragebot has joined #mirage

23:29 <miragebot> mirage/master ba1e6e8 Hannes Mehnert: Merge pull request #941 from hannesm/no-conflict...

23:29 miragebot has left #mirage [#mirage]

23:29 <miragebot> mirage/master 88cdb71 Hannes Mehnert: remove conflicts from opam - mirage generates code with such lower bounds

23:29 <miragebot> [mirage] hannesm pushed 2 new commits to master: https://git.io/fpkSY