Hi there,

many thanks to anydot for his work in order to merge [email protected]
and [email protected] into the new

[email protected]

mailing list. Please use that from now on, even if the old addresses
remain working.

Kind regards,
Anselm

Reply via email to