Hi Collin,

Thanks for working on this.

> How does the attached patch look for fixing Windows? I haven't pushed
> yet.

Looks good. Please push. Then we'll see whether the CI reports that we
have overlooked something.

Bruno




Reply via email to