I've just noticed (with some hints from Masoud and Carlos :p) that the http-fetch in mirage-skeleton was not hooked properly in the Makefile and was thus never tested. This is now fixed, now both the master and the mirage-dev branch should work fine (the mirage-dev branch might need an `opam update -y -u)
Best, Thomas _______________________________________________ MirageOS-devel mailing list [email protected] http://lists.xenproject.org/cgi-bin/mailman/listinfo/mirageos-devel
