On Tue, 2 Sep 2025, Bjoern A. Zeeb wrote:
Should I git pull and rebuild?I'll drop an email; I assume in a hour or so. I am waiting for builds to finish before I can push.
If you wish, please go ahead. I put a few small changes in. I could neither verify positive nor negative effects here but my setups on which I can test clearly don't expose the problems you are seeing, so... -- Bjoern A. Zeeb r15:7
