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

[Luis Chamberlain]

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