Coqclub archive is off?

Hi, it seems coqclub mailing list has turned off its archive? As a result, all history is inaccessible. May I ask why and will the archive be open again?

The archive is open again.

The archive had been turned off by the staff managing the mailing list platform at Inria because it was getting too much traffic after a link to the archive was posted to HN.

thx for the explanation, but the archive still shows forbidden.

Indeed, what happened @mattam82? Did you check that they really had opened it again 4 days ago? Did they close it again since then?

Sorry there was a network misconfiguration apparenty. Fixed now!

1 Like