#mirage on 2017-01-12 — 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:03 brson has joined #mirage

01:52 brson has quit [Quit: leaving]

04:00 rgrinberg has joined #mirage

04:37 copy` has quit [Quit: Connection closed for inactivity]

06:03 rgrinberg has quit [Remote host closed the connection]

07:00 mort___ has joined #mirage

07:26 burr has joined #mirage

07:29 poka has quit [Ping timeout: 258 seconds]

07:29 poka has joined #mirage

07:30 burr has quit [Client Quit]

07:45 mort___ has quit [Quit: Leaving.]

08:03 fgimenez has joined #mirage

08:03 fgimenez has quit [Changing host]

08:13 calculemus has quit [Quit: WeeChat 1.6]

08:37 AltGr has joined #mirage

08:48 calculemus has joined #mirage

09:06 mort___ has joined #mirage

09:44 hannes has quit [Ping timeout: 272 seconds]

09:59 hannes has joined #mirage

10:37 demonimin has quit [Read error: Connection reset by peer]

10:57 demonimin has joined #mirage

11:30 gjaldon has joined #mirage

12:01 demonimin has quit [Ping timeout: 240 seconds]

12:09 fgimenez has quit [Ping timeout: 255 seconds]

12:10 fgimenez has joined #mirage

12:10 fgimenez has quit [Changing host]

12:23 demonimin has joined #mirage

12:28 demonimin has quit [Ping timeout: 240 seconds]

12:36 gjaldon has quit [Remote host closed the connection]

12:44 demonimin has joined #mirage

12:51 demonimin has quit [Ping timeout: 255 seconds]

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

13:10 demonimin has joined #mirage

13:25 fgimenez has quit [Ping timeout: 248 seconds]

13:25 fgimenez has joined #mirage

13:25 fgimenez has quit [Changing host]

13:25 fgimenez has joined #mirage

13:39 fgimenez has quit [Ping timeout: 245 seconds]

13:58 mort___ has joined #mirage

14:04 fgimenez has joined #mirage

14:04 fgimenez has quit [Changing host]

14:45 fgimenez has quit []

14:48 fgimenez has joined #mirage

14:48 fgimenez has quit [Changing host]

14:50 julio_ has quit [Ping timeout: 246 seconds]

14:50 julio_ has joined #mirage

14:58 copy` has joined #mirage

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

15:48 mort___ has joined #mirage

15:53 mort___ has quit [Ping timeout: 240 seconds]

15:57 yomimono has joined #mirage

15:59 mort___ has joined #mirage

16:13 rgrinberg has joined #mirage

16:27 gjaldon has joined #mirage

16:36 gjaldon has quit []

16:36 miragebot has joined #mirage

16:36 miragebot has left #mirage [#mirage]

16:36 <miragebot> mirage/master 3a6b471 Anil Madhavapeddy: doc: restore more packages to docs

16:36 <miragebot> mirage/master 7fa48a3 Anil Madhavapeddy: Merge pull request #772 from avsm/doc9...

16:36 <miragebot> [mirage] avsm pushed 2 new commits to master: https://git.io/vMz9u

16:45 mort___ has quit [Quit: Leaving.]

16:49 brson has joined #mirage

17:10 fgimenez has quit []

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

17:37 smondet has joined #mirage

17:43 yomimono has joined #mirage

17:56 miragebot has joined #mirage

17:56 <miragebot> mirage/master 30c2747 Hannes Mehnert: no need for result anymore (not referenced in Mirage_types)

17:56 <miragebot> mirage/master cb51e1a Hannes Mehnert: minor fixes...

17:56 <miragebot> mirage/master d5c4005 Hannes Mehnert: Exts.interface exists only since topkg 0.8.0

17:56 miragebot has left #mirage [#mirage]

17:56 <miragebot> [mirage] yomimono pushed 7 new commits to master: https://git.io/vMzpu

18:22 miragebot has joined #mirage

18:22 <miragebot> mirage/master 785d427 Anil Madhavapeddy: docs: remove ezirmin due to irmin-dev conflict

18:22 <miragebot> [mirage] avsm pushed 1 new commit to master: https://git.io/vMgv3

18:22 miragebot has left #mirage [#mirage]

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

19:02 yomimono has quit [Ping timeout: 240 seconds]

19:06 brson has quit [Ping timeout: 240 seconds]

19:08 yomimono has joined #mirage

19:29 miragebot has joined #mirage

19:29 <miragebot> mirage/master 399eb47 Hannes Mehnert: require recent functoria+runtime

19:29 <miragebot> mirage/master c83ec60 Hannes Mehnert: Merge pull request #773 from hannesm/fixed-block-ccm...

19:29 <miragebot> mirage/master 4808cfe Hannes Mehnert: mirage-block-ccm works with new MirageOS

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

19:29 <miragebot> [mirage] hannesm pushed 3 new commits to master: https://git.io/vMgmD

20:17 rgrinberg has quit [Remote host closed the connection]

20:19 rgrinberg has joined #mirage

20:50 yomimono has quit [Ping timeout: 240 seconds]

21:07 brson has joined #mirage

21:08 srax has quit [Ping timeout: 260 seconds]

21:09 srax has joined #mirage

21:21 syntiux has quit [Ping timeout: 272 seconds]

21:23 syntiux has joined #mirage

21:51 yomimono has joined #mirage

21:59 syntiux has quit [Ping timeout: 240 seconds]

22:00 syntiux has joined #mirage

23:19 brson has quit [Quit: leaving]

23:30 yomimono has quit [Ping timeout: 252 seconds]

23:54 smondet has quit [Ping timeout: 255 seconds]