Le 13/08/2026 à 23:02, Harald Anlauf a écrit :
I have only skimmed the patches, most of which appear clear enough. There is only a minor and trivial cleanup (missed dead code) below.
Well spotted, thanks.For now I'm not posting a new version integrating the cleanup yet. I'll wait for review comments requiring a new version if any.
