On Thu, 26 Sep 2024 18:49:27 +0300 Cristian Secară <liste at secarica.ro> wrote: > Yes, you summed it up exactly. That's now fixed in git. Thanks for the report. with regards Paul