coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: "Soegtrop, Michael" <michael.soegtrop AT intel.com>
- To: "coq-club AT inria.fr" <coq-club AT inria.fr>
- Subject: RE: [Coq-Club] Coq list issues
- Date: Wed, 24 Aug 2016 07:58:25 +0000
- Accept-language: de-DE, en-US
- Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=michael.soegtrop AT intel.com; spf=Pass smtp.mailfrom=michael.soegtrop AT intel.com; spf=None smtp.helo=postmaster AT mga01.intel.com
- Ironport-phdr: 9a23:YAx4KxKWC9LNuqU/sdmcpTZWNBhigK39O0sv0rFitYgUI/3xwZ3uMQTl6Ol3ixeRBMOAuqsC0Led6vm+ESxYuNDa4ShEKMQNHzY+yuwu1zQ6B8CEDUCpZNXLVAcdWPp4aVl+4nugOlJUEsutL3fbo3m18CJAUk6nbVk9GO35F8bogtit0KjqotuIMlwO32f2OOosZFXu9EOK55FQ2dMjYo8KiTLx6kNSfOpXwW46bXmypD3bovmKwZh47i5LsOgg/cMTGY/zfqA/UKAKRG9+azN9t4XXskyJRgyWo3AYT28+kxxSAgGD4guwFsP6tTK/ve5g0gGbO9f3RPY6Q2Lxwb1sTUqisyAKOCIj93mTwulxh6JSrRbr70h6woXUaYyRcuF5c6zBZ9QCbWtHQstVESdGB9XvPMM0E+MdMLMA/MHGrFwUoE7mCA==
|
Well this post I got back in 5 minutes … strange
Best regards,
Michael
Dear Coq list users,
since a week or so I have the impression that the Coq list lags heavily – 4 to 8 hours or even more. E.g. a post I sent yesterday at noon I got back at 6 PM. Also the posts of others I get quite late. Also interesting is that the post I sent yesterday is not yet visible in the online archive, although I got it back from the list server yesterday evening. I used to get my own posts back within 5 minutes or so.
Am I the only one having these problems and do I have to talk to our IT or is this a problem of the list server?
Best regards,
Michael Intel Deutschland GmbH |
- [Coq-Club] Coq list issues, Soegtrop, Michael, 08/24/2016
- RE: [Coq-Club] Coq list issues, Soegtrop, Michael, 08/24/2016
Archive powered by MHonArc 2.6.18.