> 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