coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Ssreflect list, WTH?

From: Ian Zimmerman <itz AT very.loosely.org>
To: Coq-Club Mailinglist <coq-club AT inria.fr>
Subject: [Coq-Club] Ssreflect list, WTH?
Date: Sat, 19 Oct 2019 19:20:21 -0700
Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=itz AT very.loosely.org; spf=Pass smtp.mailfrom=itz AT very.loosely.org; spf=Pass smtp.helo=postmaster AT very.loosely.org
Ironport-phdr: 9a23:NgBHWxUkD7GM3kUh0PhsERLXxzrV8LGtZVwlr6E/grcLSJyIuqrYbBKFt8tkgFKBZ4jH8fUM07OQ7/m7Hzxaqsvc+Fk5M7V0HycfjssXmwFySOWkMmbcaMDQUiohAc5ZX0Vk9XzoeWJcGcL5ekGA6ibqtW1aFRrwLxd6KfroEYDOkcu3y/qy+5rOaAlUmTaxe7x/IAi4oAnLtcQan4RuJ6YxxxDUvnZGZuNayH9yK1mOhRj8/MCw/JBi8yRUpf0s8tNLXLv5caolU7FWFSwqPG8p6sLlsxnDVhaP6WAHUmoKiBpIAhPK4w/8U5zsryb1rOt92C2dPc3rUbA5XCmp4ql3RBP0jioMKiU0+3/LhMNukK1boQqhpx1hzI7SfIGVL+d1cqfEcd8HWWZNQsNdWipGDY2hcosPFPIBMvhEoInhqVUOqh6+ChOtBOPp1zREgnD70Kk/3+knDArI3hEvH8gWvXrarNv7KrocX+O6w6bU0DrMYehb2Svh5IXSbhwtveuBUax2fMHMyUcvDQTFjlCIpILmJTyV0PkGvGua7+plUOKglXQnqwRrrTip28whjYjJhp4Uy13f6yV23pw1JN2iRE5/Zt6kF4BQuD+eN4p2WM8iRHtouCkjx7AApJW1ci8KyJE9yB7ebfyKa42I4hXkVOaWOzt3mHVleLe5ih2v8kag0vXxWtS23VtEtCZJjNnBu3AX2xDN98SKSuFx80al1DqX1g3e6PtILV02mKfUMZIt3LA9m5QJvUjdAyP7mkP7h7KMeEo+4Oin8eHnb63mppCCM490jRnzMrowlcylAeU0KAwOX2+c+eSnyrLj+U34TK9Njv0snanVqJHaJcIFqa6lGwJZz4Qu5hilAzu40NkVnWMLIExYdB+HlYTkOlXDLOj9DfilglSslDlrx+rBPr3kGpjNL2TDkbb6cLZj9UFc0goywcpb55JTDbEBO+z8WkvxtdDCCR85KQO0z/79CNphzoMeRX6PAqiBPazOtl+I//sjLPWIZI8IoznwMOMl5v7rjX8hg1ARZ6ip3Z0NaHC5BPtqOUuZYWC/yusGREwNp08VSPHgwHiLUDpSYXm2XrkgrmUwD5vjBoPeTKishqaA1WG1BMsFSHpBDwWtGHGgRYSBXvoWbSuUaptgji4sS7W7Wskl0ha1uQvrjb19IbyHqWUjqZv/2Y0ttKXonhYo+GkxUp3EjzO9Clpsl2ZNfAcYmbhlqBUtmEmOy7k+h/tfDtFX9rVOSAhobceBndw/MMj7X0f6RvnMSFuiRYz2Uy88VMN3x9gJeEt5CpOllB+RhnP7UY9QrKSCAdkPyoyZ2nHwI8hnzHOfhPs/gkM3BM9IMnargr858BLcVdfE

I posted a message to the ssreflect list about 10 days ago. I am
subscribed to it with the same address as to this one. I can see
from my mail logs that the message was accepted by the MX host on their
side. Nevertheless it seems that it was never forwarded to the
ssreflect subscribers - I never got my copy back, and it never appeared
in the archive.

I few days later I complained to ssreflect-request, no reply or result.
Meanwhile I see other posts getting through, so it can't be because
admin or moderator went on vacation.

Sorry for the noise ...

--
Please don't Cc: me privately on mailing lists and Usenet,
if you also post the followup to the list or newsgroup.
To reply privately _only_ on Usenet and on broken lists
which rewrite From, fetch the TXT record for no-use.mooo.com.

[Coq-Club] Ssreflect list, WTH?, Ian Zimmerman, 10/20/2019