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.
Andreas
