On Wed, Oct 28, 2026 at 09:08:40AM -0500, Martin Mirchev wrote: > Hi, > Here is the patch for GitHub issue #3547, as Amaury asked there, against > current master (869308906). It is attached (git format-patch).
I just merged it on master. Thanks for your contribution. -- Amaury Denoyelle
