On Wed, 2022-09-28 at 14:02 +0200, Elimar Riesebieter wrote: > can one tell me which mailinglist manager is used at > lists.debian.org? (mailman/sympa)? I think it is smartlist. https://www.debian.org/MailingLists/ also says so. Ansgar