> On 1 Aug 2017, at 11:21, Hannes Mehnert <han...@mehnert.org> 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.

MirageOS-devel mailing list

Reply via email to