#mirage on 2014-07-14 — irc logs at freenode.irclog.whitequark.org

00:04 boogie has joined #mirage

01:44 boogie has quit [Remote host closed the connection]

01:45 boogie has joined #mirage

02:17 adsisco_ has quit [Quit: Connection closed for inactivity]

04:37 boogie has quit [Remote host closed the connection]

05:23 tlockney is now known as tlockney_away

08:04 dbuenzli has joined #mirage

08:11 avsm has joined #mirage

09:16 avsm has quit [Quit: Leaving.]

09:31 groente has quit [Ping timeout: 260 seconds]

09:31 groente_ has joined #mirage

09:32 djs55 has joined #mirage

09:32 djs55 has quit [Remote host closed the connection]

09:32 djs55 has joined #mirage

09:34 dsheets has joined #mirage

10:01 jludlam has joined #mirage

10:06 dsheets has quit [Ping timeout: 240 seconds]

10:15 dsheets has joined #mirage

11:14 avsm has joined #mirage

11:34 dbuenzli has quit [Ping timeout: 240 seconds]

11:54 adsisco_ has joined #mirage

12:04 dbuenzli has joined #mirage

12:05 <hannes> avsm: should I merge mirage-www@177 ?

12:05 <avsm> hannes: yep sure if it's ok

12:05 <hannes> it is

12:05 <avsm> hannes: since this is the last in the series, might be worth a short ack/thanks for people who have reported bugs so far + funding

12:05 <avsm> hannes: or just continue to post :)

12:20 <hannes> avsm: https://github.com/mirage/mirage-www/pull/178

12:22 <avsm> hannes: picture of beach house??

12:22 <avsm> hannes: s/OCamllabs/OCaml Labs/

12:41 <hannes> avsm: all updated

12:42 mort___ has joined #mirage

12:55 <hannes> mort___, avsm: https://github.com/mirage/mirage-www/pull/179 (including horizon, fixing the count)

12:55 miragebot has joined #mirage

12:55 <miragebot> [mirage] avsm pushed 2 new commits to master: http://git.io/0oddQg

12:55 <miragebot> mirage/master 60c924a Anil Madhavapeddy: Merge pull request #268 from talex5/libminios-xen-0.2...

12:55 <miragebot> mirage/master 4932398 Thomas Leonard: Updated to use libminios-xen >= 0.2...

12:55 miragebot has left #mirage [#mirage]

12:55 <avsm> hannes: peters office in 5?

12:55 <avsm> or mine?

12:56 <hannes> avsm: peters is what you proposed. just come along

12:57 <mort___> hannes: thx

13:00 <avsm> hannes: omw

13:12 jludlam is now known as jonludlam

13:16 avsm has quit [Quit: Leaving.]

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

13:54 dbuenzli has left #mirage [#mirage]

13:54 dbuenzli has joined #mirage

13:54 mort___ has joined #mirage

14:27 mort___ has quit [Ping timeout: 260 seconds]

14:37 mort___ has joined #mirage

15:03 jonludlam has quit [Ping timeout: 240 seconds]

15:12 philtor_ has joined #mirage

15:24 tlockney_away is now known as tlockney

15:26 avsm has joined #mirage

15:27 <hannes> avsm: could you kick the openmirage.org server to use the latest mirage-www?

15:27 <avsm> hannes: just done

15:28 <avsm> (serial meetings, hence the delay)

15:30 <avsm> https://twitter.com/OpenMirage/status/488706968312610816

15:30 philtor_ has quit [Ping timeout: 240 seconds]

15:32 <hannes> avsm: mind to merge https://github.com/mirage/mirage-www/pull/181

15:32 tlockney is now known as tlockney_away

15:32 <avsm> hannes: ugh, not a fan tbh. why endorse HN specifically

15:32 <avsm> ?

15:32 <hannes> ok, then not.

15:33 <avsm> it's a bit of cesspool. there are other search engines to find that information back later (the /link log on ours, although it's a bit hidden but more generally google)

15:33 <hannes> true

15:35 tlockney_away is now known as tlockney

15:36 philtor_ has joined #mirage

15:41 jludlam has joined #mirage

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

15:56 philtor_ has quit [Ping timeout: 240 seconds]

16:17 avsm has joined #mirage

16:29 boogie has joined #mirage

16:30 mort___ has quit [Ping timeout: 240 seconds]

16:34 dsheets has quit [Ping timeout: 240 seconds]

16:34 avsm has quit [Quit: Leaving.]

16:38 boogie has quit [Quit: Leaving...]

16:43 philtor_ has joined #mirage

16:58 philtor_ has quit [Ping timeout: 240 seconds]

17:03 tlockney is now known as tlockney_away

17:07 yomimono has joined #mirage

17:40 tlockney_away is now known as tlockney

17:43 djs55 has quit [Quit: Leaving.]

17:52 dbuenzli has quit [Ping timeout: 256 seconds]

17:54 dbuenzli has joined #mirage

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

18:22 mcclurmc has joined #mirage

18:25 jprakash has joined #mirage

18:36 dbuenzli has quit [Ping timeout: 272 seconds]

19:01 mcclurmc has quit [Remote host closed the connection]

19:06 mcclurmc has joined #mirage

19:08 philtor_ has joined #mirage

19:12 mcclurmc has quit [Remote host closed the connection]

19:12 philtor_ has quit [Ping timeout: 240 seconds]

19:16 mcclurmc has joined #mirage

19:23 mcclurmc has quit [Remote host closed the connection]

19:30 NoNNaN has quit [Ping timeout: 264 seconds]

19:35 NoNNaN has joined #mirage

19:37 philtor_ has joined #mirage

19:44 djs55 has joined #mirage

19:46 dbuenzli has joined #mirage

20:16 philtor_ has quit [Ping timeout: 260 seconds]

20:31 djs551 has joined #mirage

20:34 djs55 has quit [Ping timeout: 264 seconds]

20:52 philtor_ has joined #mirage

20:56 djs551 has quit [Quit: Leaving.]

21:35 mcclurmc has joined #mirage

21:37 mcclurmc has quit [Remote host closed the connection]

22:41 jprakash has quit [Quit: leaving]

23:31 philtor_ has quit [Ping timeout: 240 seconds]

23:40 NoNNaN has quit [Remote host closed the connection]

23:41 NoNNaN has joined #mirage

23:41 dbuenzli has quit [Ping timeout: 264 seconds]

23:43 dbuenzli has joined #mirage