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

[Julia Lawall]

On Mon, 25 Oct 2021, Luis Chamberlain wrote:

> 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?

Everyone should be moved over.  I just sent a message with the subject
Test.  Let me know if you did not receive it.

julia