#mirage on 2018-01-06 — 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!

02:26 _whitelogger_ has joined #mirage

04:11 dtornabene has joined #mirage

07:33 _whitelogger has joined #mirage

09:12 mort___ has joined #mirage

09:16 mort___ has quit [Client Quit]

09:17 dtornabene has quit [Remote host closed the connection]

09:19 mort___ has joined #mirage

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

10:13 argent_smith has joined #mirage

11:32 jpdeplaix has quit [Quit: WeeChat 1.6]

11:41 jpdeplaix has joined #mirage

11:43 jpdeplaix has quit [Client Quit]

11:45 jpdeplaix has joined #mirage

12:12 DonRichie has quit [Quit: bye]

12:13 mort___ has joined #mirage

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

12:39 mort___ has joined #mirage

12:45 mort___ has left #mirage [#mirage]

13:00 mort___ has joined #mirage

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

15:26 DonRichie has joined #mirage

15:45 mort___ has joined #mirage

15:51 <hannes> mort___: https://github.com/mirage/mirage-www/pull/596 :)

16:23 <mort___> hannes: done!

16:23 <hannes> mort___: thanks!

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

17:13 gentauro has quit [Ping timeout: 240 seconds]

17:27 gentauro has joined #mirage

20:13 argent_smith has quit [Quit: Leaving.]

20:47 mort___ has joined #mirage

21:21 mort___ has quit [Quit: Leaving.]

21:21 mort___ has joined #mirage

21:24 mort___ has quit [Client Quit]