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
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