Re: lists.debian.org

[Ansgar]

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