On 4/10/26 2:36 AM, Dapeng Wang wrote: > Thanks Andreas! Noted - I didn't have the original thread > in my mailbox at the time, but I'm subscribed now so future > replies will thread properly.
I see! Then the general recommendation is to use the re-send email button in our mailing list archives. I know it was buggy some time ago but I think it has been fixed now.
