#mirage on 2014-05-15 — irc logs at freenode.irclog.whitequark.org

00:53 cr409 has joined #mirage

00:57 cr409 has quit [Ping timeout: 240 seconds]

02:55 cr409 has joined #mirage

03:00 cr409 has quit [Ping timeout: 265 seconds]

04:58 cr409 has joined #mirage

05:03 cr409 has quit [Ping timeout: 252 seconds]

05:53 rgrinberg has quit [Quit: Leaving.]

07:00 cr409 has joined #mirage

07:04 cr409 has quit [Ping timeout: 240 seconds]

07:16 rektide has quit [Ping timeout: 264 seconds]

07:16 rektide has joined #mirage

07:48 cr409 has joined #mirage

07:53 cr409 has quit [Ping timeout: 240 seconds]

08:19 avsm has joined #mirage

08:24 djs55 has joined #mirage

08:41 cr409 has joined #mirage

08:51 djs55 has quit [Quit: Leaving.]

08:51 djs55 has joined #mirage

08:55 djs55 has quit [Client Quit]

10:17 djs55 has joined #mirage

10:17 djs55 has quit [Client Quit]

10:23 djs55 has joined #mirage

10:36 andreas1 has joined #mirage

10:57 avsm has quit [Quit: Leaving.]

11:19 avsm has joined #mirage

11:26 djs55 has quit [Quit: Leaving.]

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

11:57 avsm has quit [Quit: Leaving.]

12:47 djs55 has joined #mirage

13:03 avsm has joined #mirage

13:11 andreas has joined #mirage

13:23 <avsm> djs55: did the tags for 0.4.1 and 0.4.2 disappear?

13:23 <avsm> https://github.com/mirage/shared-memory-ring

13:26 <djs55> hm, no idea where they went

13:29 <avsm> djs55: in your repo? perhaps a git push --tags

13:29 <djs55> I didn't see them there either

13:29 <djs55> did they definitely exist?

13:29 <djs55> could they have been lost in a destroy/reclone rather than a transfer ownership

13:39 aT0MAnti has quit [Quit: Leaving]

13:54 <avsm> djs55: must have existed at some point for the opam package

13:54 <avsm> djs55: oh yes, might have been nuked

13:54 <avsm> i'll see if i can recreate

14:05 <avsm> djs55: pushed some plausible tags

14:06 <djs55> plausible is good

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

14:54 rgrinberg has joined #mirage

15:29 djs55 has joined #mirage

15:43 cr409 has quit [Ping timeout: 240 seconds]

15:54 cr409 has joined #mirage

16:05 tlockney_away is now known as tlockney

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

16:29 djs55 has quit [Quit: Leaving.]

16:42 djs55 has joined #mirage

17:02 andreas1 has joined #mirage

17:04 andreas has quit [Ping timeout: 252 seconds]

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

17:41 djs55 has joined #mirage

17:41 djs55 has quit [Client Quit]

17:41 avsm has joined #mirage

18:26 avsm has quit [Quit: Leaving.]

18:27 avsm has joined #mirage

18:40 tlockney is now known as tlockney_away

19:00 miragebot has joined #mirage

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

19:00 <miragebot> [mirage] avsm pushed 2 new commits to master: http://git.io/ZErrIQ

19:00 <miragebot> mirage/master b56362f Anil Madhavapeddy: Add a Dockerfile to install the mirage binary....

19:00 <miragebot> mirage/master 055e639 Anil Madhavapeddy: Merge pull request #241 from avsm/docker...

19:48 djs55 has joined #mirage

19:49 philtor has joined #mirage

20:03 cr409 has quit [Ping timeout: 252 seconds]

20:06 tlockney_away is now known as tlockney

20:22 avsm has quit [Quit: Leaving.]

20:27 cr409 has joined #mirage

20:38 cr409 has quit [Ping timeout: 240 seconds]

21:12 cr409 has joined #mirage

21:12 __marius____ has quit [Ping timeout: 265 seconds]

21:18 ca__ has joined #mirage

21:19 ca__ is now known as caindy

21:24 avsm has joined #mirage

21:28 __marius____ has joined #mirage

21:52 djs55 has quit [Quit: Leaving.]

22:05 philtor has quit [Ping timeout: 245 seconds]

22:35 andreas1 has quit [Ping timeout: 255 seconds]

23:19 avsm has quit [Quit: Leaving.]

23:34 philtor has joined #mirage

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

23:41 NoNNaN has joined #mirage

23:41 cr409 has quit [Ping timeout: 245 seconds]