We are replacing the [email protected] mailing list with a new mailing list: [email protected]. We will just move everyone to the new list by default. If you would prefer not to be moved, ie to leave the list, please let me know within 48 hours, ie by Friday morning Europe time.
I haven't looked into how to manage the gmane archives. If someone already has experience with this, ie how we can have just one archive that combines the old and new list, please let me know. thanks, julia _______________________________________________ Cocci mailing list [email protected] http://lists.diku.dk/mailman/listinfo/cocci (Web access from inside DIKUs LAN only)
