> On 25 Oct 2026, at 06:31, [email protected] wrote:

> I'm happy with removal instead of my original fix.

Hearing no objections, done that way.

--
Daniel Gustafsson



Reply via email to