On Tue, May 12, 2026 at 01:48:25PM +0100, Roger Lynn wrote: > This problem did not recur with the upgrade from +deb12u3 to +deb12u5, so it > appears to no longer be an issue.
Hm. Nothing changed regarding the config file handling between deb12u3 and deb12u5... noah
