[Cocci] Coccinelle mailing list archives

[Julia Lawall]

Hello,

The Coccinelle mailing list is now archived here:

https://lore.kernel.org/cocci/

This contains all of the archives that are also on the mailmain site,
which goes back to September 2012. Unfortunately the previous archives
appear to be lost. If anyone would like to help with retrieving them and
was subscribed prior to that time with a gmail address, there are
instructions on constructing archives from gmail here:

https://korg.wiki.kernel.org/userdoc/lore

Thanks to Himanshu Jha for suggesting this and Konstantin Ryabitsev for
setting it up very quickly.

julia

[Himanshu Jha]

Post by Julia Lawall
Hello,
https://lore.kernel.org/cocci/
This contains all of the archives that are also on the mailmain site,
which goes back to September 2012. Unfortunately the previous archives
appear to be lost. If anyone would like to help with retrieving them and
was subscribed prior to that time with a gmail address, there are
https://korg.wiki.kernel.org/userdoc/lore

One minor comment from Konstantin:

"Just a note that GMail is not a requirement by any means -- the
list-archive-maker script can be used against any mbox or maildir
directory. Gmail just happens to be a place where people have most
complete archives, since nobody bothers deleting anything there."

So, whoever has list archieved dating before 2012 are requested to
follow the procedure in the aforementioned link. There is no problem
is you had some messages deleted as others might have that specific
message.

Yes, various archive donations are then piled up to form a clean
archieve.

Post by Julia Lawall
Thanks to Himanshu Jha for suggesting this and Konstantin Ryabitsev for
setting it up very quickly.

You're welcome!

Now developers who have trouble during installation can easily search
the trunk and possibly get their issues answered.

Send me those archieves and I would pass it to Konstantin.


Thanks!