Re: [cocci] [PATCH v2] coccinelle: update Coccinelle entry

From: Luis Chamberlain
Date: Mon Oct 25 2021 - 13:09:52 EST


On Sat, Oct 23, 2021 at 10:10 AM Julia Lawall <julia.lawall@xxxxxxxx> wrote:

> -L: cocci@xxxxxxxxxxxxxxx (moderated for non-subscribers)
> +L: cocci@xxxxxxxx (moderated for non-subscribers)

BTW if one was subscribed to the old list, does the subscription move
over to the new one? And do posts to the old list go to the new one?

Luis