[Hcoop-discuss] Web-enabled searching of the mailing list

[Adam Chlipala]

Michael Olson wrote:

>>Aren't the archives of the lists already publically viewable? E.g.
>>http://hcoop.net/pipermail/hcoop-discuss/
>>    
>>
>
>Ah, sure enough.  In that case, I'm all for it.
>  
>
If there's no one against the idea, then I'll do whatever is necessary 
to let gmane subscribe to our lists.

Let's wait a few days to see if anyone wants to object.