On 2023/08/24 23:48:28 +0200, tux0r <[email protected]> wrote: > The changelog claims that this release mainly fixes a Windows bug, but it > can’t be too bad to have the port updated as well. > > Patch attached.diff
somehow i missed the mail, sorry. Committed, thanks!
