Hi, I was going to report the same thing, then I saw that it's already reported.
I think the corresponding fix is already done upstream: https://github.com/aleb/mirage/commit/f3a8c59dc99f123c560d96436622dd4bd69a8dcb Best regards, Yves
signature.asc
Description: OpenPGP digital signature
