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