Re: [MirageOS-devel] some maintenance on the mirage front-end tool is needed

[Anil Madhavapeddy <anil@xxxxxxxxxx>]

> On 1 Aug 2017, at 11:21, Hannes Mehnert <hannes@xxxxxxxxxxx> wrote:
> 
> On 01/08/2017 11:14, Anil Madhavapeddy wrote:
>> I'm back and generating a release of the frontend tool now.  I have run into 
>> a number of ancillary changes, particularly unreleased changes in functoria 
>> as well, so it'll take a few hours...
> 
> thanks!  please include (after review, it works fine for me) the first
> two commits of https://github.com/mirage/mirage/pull/853 in that mirage
> release as well.

Mirage 3.0.5 is now in opam with the relevant fixes. Thanks Dave/Mindy/Hannes 
for all this.  I'm going to rebase the upper-bounds patch and get that into a 
3.0.6 point release after some more testing.

cheers,
Anil
_______________________________________________
MirageOS-devel mailing list
MirageOS-devel@xxxxxxxxxxxxxxxxxxxx
https://lists.xenproject.org/cgi-bin/mailman/listinfo/mirageos-devel