On Tue, 20 Sep 2022 09:54:17 -0000, Paul <paul at claws-mail.org> wrote: > Thanks, Johan, for sending examples off-list. This has now been fixed in > git. Great job! Thanks!