[HCoop-Discuss] Mail archive?

[Adam Chlipala]

Franklin Gordon Bynum wrote:

>I recently googled myself--  yes, but don't we all-- and saw this
>
>http://www.mail-archive.com/hcoop-discuss@hcoop.net/
>
>What is this service?  Why is our list on it?
>  
>
We previously had a discussion on this list about if it was OK to 
archive all of our mailing lists, and no one objected over a period of a 
month or more.