Am 02.07.2021 um 02:39 schrieb Ton:

> Hallo Christoph, just created two pull requests. I hope everything on my side
> was done OK, first time I've done this.

Thanks - as for the "git technical" side, the pull requests look rock-solid.

There may be some issue with the suggested changes though - they don't 
seem to build properly on Windows. I'll try to make time tomorrow to 
have a closer look at what might be going on. (Also, no Unix test build 
triggered for the v3.7.0 version, but that's entirely on me.)

Post a reply to this message