Everyone on the old mailing list should have been moved to the new one.
Please let me know if you did not receive an invitation message. The new
list is subscribed to the old list, I hope that messages sent to the old
list will arrive somehow on the new one, but please use the new one in the
future:
[email protected]
I subscribed gmane to the new list, and it is putting messages to the new
list with messages to the old list, which is the desired behavior. There
is archive at mail-archive.com. In that case, the group name is not in
the email address, so there are now two mail-archive.com archives.
julia
_______________________________________________
Cocci mailing list
[email protected]
http://lists.diku.dk/mailman/listinfo/cocci
(Web access from inside DIKUs LAN only)
