On 11/12/2016 12:22 PM, Hannes Mehnert wrote:
please see https://github.com/mirage/mirage/pull/667 (and https://github.com/mirage/mirage-dev/pull/207 for a happy travis)hannes
This seems sensible to me and I've merged the linked PR. Thanks, Hannes! -Mindy _______________________________________________ MirageOS-devel mailing list [email protected] https://lists.xenproject.org/cgi-bin/mailman/listinfo/mirageos-devel
